small edits
-rw-r--r-- 34 .dir-locals.el
-rw-r--r-- 113 .gitignore
-rw-r--r-- 422 C.cfg
-rw-r--r-- 18092 COPYING
-rw-r--r-- 163 DEBUGGINGNOTES.txt
-rw-r--r-- 76630 Doxyfile
-rw-r--r-- 2402 Makefile
drwxr-xr-x - benchmarks
drwxr-xr-x - bin
-rw-r--r-- 1455 branchrecord.cc
-rw-r--r-- 893 branchrecord.h
-rw-r--r-- 1223 cgoal.cc
-rw-r--r-- 1257 cgoal.h
-rw-r--r-- 979 change.cc
-rw-r--r-- 1225 change.h