Completion for INFOJS options, and documentation. Add new faces.
treea1576d75ab7e7922c952d1c87033b4d0962c9748
-rw-r--r-- 655 .gitignore
drwxr-xr-x - BUGFIXING
-rw-r--r-- 126555 ChangeLog
drwxr-xr-x - EXPERIMENTAL
-rw-r--r-- 7402 Makefile
drwxr-xr-x - ORGWEBPAGE
-rw-r--r-- 1474 README
-rw-r--r-- 1311 README_DIST
-rw-r--r-- 3475 README_GIT
-rw-r--r-- 6616 TODO
drwxr-xr-x - UTILITIES
drwxr-xr-x - contrib
drwxr-xr-x - doc
drwxr-xr-x - lisp
-rw-r--r-- 1007 request-assign-future.txt
drwxr-xr-x - xemacs