Update manual
tree6a11a92a25977e70a056f9df5984371530347a0f
-rw-r--r-- 111 .gitattributes
-rw-r--r-- 174 .gitignore
-rw-r--r-- 2593 BRIEF-INSTALLATION-INSTRUCTIONS
-rw-r--r-- 1390 COPYRIGHT.JILL
-rw-r--r-- 12140 Changelog.utf8
-rw-r--r-- 6457 ExceptionDefProcessor.java
-rw-r--r-- 1133 ImageMaker.java
-rw-r--r-- 1152 JPCApplication.java
-rw-r--r-- 17987 LICENSE
-rw-r--r-- 528 TestUTF
-rw-r--r-- 375 UTFInputTest.java
-rw-r--r-- 283 assemble.bat
-rw-r--r-- 370 assemble2.bat
-rwxr-xr-x 414 compile.bat
-rwxr-xr-x 865 compile.sh
-rw-r--r-- 999 copyright.banner
-rw-r--r-- 6641 exceptions.def
-rw-r--r-- 2520 extramenu
drwxr-xr-x - lua
-rw-r--r-- 32331 luakernel.lua
-rw-r--r-- 80210 manual.lyx
-rw-r--r-- 50673 manual.txt
drwxr-xr-x - misc
drwxr-xr-x - mnj
drwxr-xr-x - org
drwxr-xr-x - streamtools