chiark / gitweb /
minor edits from sean
-rw-r--r-- 108 .gitignore
-rw-r--r-- 2664 Makefile
-rw-r--r-- 620 conflict.txt
-rw-r--r-- 2958 context.fig
-rw-r--r-- 9801 dm.fig
-rwxr-xr-x 187 greyout
-rw-r--r-- 960 junk
-rw-r--r-- 1373 refs.fig
-rw-r--r-- 17647 talk.txt
-rwxr-xr-x 429 txt2ps
-rw-r--r-- 1075 usp-1.fig
-rw-r--r-- 1144 usp-2.fig
-rw-r--r-- 1017 usp-3.fig
-rw-r--r-- 1158 usps.md
-rw-r--r-- 220 zoom.fig