Fix date in manual.txt.
tree95f78e0a45630171aa587abc623ae3a08ebb5604
-rw-r--r-- 39 .gitignore
-rw-r--r-- 1483 LICENSE
-rw-r--r-- 733 Makefile
-rw-r--r-- 1676 README
-rw-r--r-- 2263 ReleaseNotes
-rw-r--r-- 1512 TODO
drwxr-xr-x - compiler
drwxr-xr-x - docs
drwxr-xr-x - lang_ext
drwxr-xr-x - runtime
drwxr-xr-x - sketches
-rwxr-xr-x 1693 stats.sh
drwxr-xr-x - tests
drwxr-xr-x - utilities