chiark / gitweb /
introduce \proofstarts
[topbloke-formulae.git] / Makefile
2012-03-01 Ian Jacksonfix up default target
2012-03-01 Ian Jacksonmake postscript
2012-03-01 Ian Jacksonmakefile etc.