chiark / gitweb /
update some docs for new metadata/theory
-rw-r--r-- 3 .gitignore
-rw-r--r-- 964 BUGS
-rw-r--r-- 3822 DESIGN
-rw-r--r-- 6496 FORMAT
-rw-r--r-- 674 RATIONALE
-rw-r--r-- 390 TERMINOLOGY
-rw-r--r-- 3605 THEORY
-rw-r--r-- 15590 Topbloke.pm
-rw-r--r-- 5419 UPDATE-ALGORITHM
-rw-r--r-- 83 names
-rwxr-xr-x 4366 tb-create.pl
-rwxr-xr-x 5353 tb-list.pl
-rwxr-xr-x 6777 tb-update.pl
-rwxr-xr-x 978 topbloke-merge-driver
-rwxr-xr-x 2252 topbloke-merge-lists