Revert "REPL adjustments."
tree1a36662ecfb9d9c0f867967935e0aa7b09dba9e6
-rw-r--r-- 254 .gdbinit
-rw-r--r-- 65 .gitignore
-rw-r--r-- 4082 INTERNALS
-rw-r--r-- 1128 LICENSE
-rw-r--r-- 2966 Makefile
lrwxrwxrwx 9 README -> README.md
-rw-r--r-- 5858 README.md
-rw-r--r-- 927 TODO
-rw-r--r-- 6848 common.mk
drwxr-xr-x - doc
drwxr-xr-x - etc
drwxr-xr-x - pkg
drwxr-xr-x - src
drwxr-xr-x - tests