Update Technical Notes manual section.
treed6c18462c87b18936037c143c170dd13e9f1fea7
-rw-r--r-- 54 .gitattributes
-rw-r--r-- 401 .gitignore
-rw-r--r-- 2063 INSTALL
-rw-r--r-- 785 LICENSE
-rw-r--r-- 3295 Makefile
-rw-r--r-- 2273 Makefile.cnf
-rw-r--r-- 2085 Makefile.inc
-rw-r--r-- 5767 README
-rw-r--r-- 7106 TODO
drwxr-xr-x - clisp
-rw-r--r-- 7249 com.dvlsoft.clon.asd
drwxr-xr-x - demos
drwxr-xr-x - doc
-rw-r--r-- 5993 package.lisp
drwxr-xr-x - sbcl
drwxr-xr-x - share
drwxr-xr-x - src
-rw-r--r-- 1296 version.cl