More ::= reversions in core.
tree2fe71da1ce0d6ef2171b2d9da2ff7d71120b4732
-rw-r--r-- 254 .gdbinit
-rw-r--r-- 113 .gitignore
-rw-r--r-- 4082 INTERNALS
-rw-r--r-- 1128 LICENSE
-rw-r--r-- 3092 Makefile
lrwxrwxrwx 9 README -> README.md
-rw-r--r-- 5989 README.md
-rw-r--r-- 2692 TODO.org
-rw-r--r-- 7282 common.mk
drwxr-xr-x - doc
drwxr-xr-x - etc
drwxr-xr-x - pkg
drwxr-xr-x - src
drwxr-xr-x - tests