chiark / gitweb /
new THEORY, proved
-rw-r--r-- 3 .gitignore
-rw-r--r-- 1419 BUGS
-rw-r--r-- 13599 DESIGN
-rw-r--r-- 5819 FORMAT
-rw-r--r-- 674 RATIONALE
-rw-r--r-- 390 TERMINOLOGY
-rw-r--r-- 3030 THEORY
-rw-r--r-- 13674 Topbloke.pm
-rw-r--r-- 83 names
-rwxr-xr-x 4008 tb-create.pl
-rwxr-xr-x 5125 tb-list.pl
-rwxr-xr-x 6777 tb-update.pl
-rwxr-xr-x 929 topbloke-merge-driver
-rwxr-xr-x 2252 topbloke-merge-lists