Fix REPL restart if REPL is alive
tree2475b9a8d97ce66962952405bde201d802777d8f
-rw-r--r-- 597 .gitignore
-rw-r--r-- 437 AUTHORS
-rw-r--r-- 1606 COPYING
-rw-r--r-- 161 ChangeLog
-rw-r--r-- 2152 INSTALL
-rw-r--r-- 1876 Makefile.am
-rw-r--r-- 8551 NEWS
-rw-r--r-- 8899 README
-rw-r--r-- 1644 README.elpa
-rw-r--r-- 1926 THANKS
-rwxr-xr-x 65 autogen.sh
drwxr-xr-x - bin
-rw-r--r-- 864 configure.ac
drwxr-xr-x - doc
drwxr-xr-x - elisp
drwxr-xr-x - scheme