Better handling of REPL's header line
treebbf044ae5b3190ebebd91b32ba7f6d54c1fd04bc
-rw-r--r-- 568 .gitignore
-rw-r--r-- 179 AUTHORS
-rw-r--r-- 1606 COPYING
-rw-r--r-- 161 ChangeLog
-rw-r--r-- 12120 INSTALL
-rw-r--r-- 123 Makefile.am
-rw-r--r-- 0 NEWS
-rw-r--r-- 8631 README
-rw-r--r-- 1125 THANKS
-rwxr-xr-x 65 autogen.sh
-rw-r--r-- 811 configure.ac
drwxr-xr-x - doc
drwxr-xr-x - elisp
drwxr-xr-x - scheme