chiark / gitweb /
get rid of a leftover spurious \neg[]
[topbloke-formulae.git] / create-base.tex
2012-03-21 Ian Jacksonwip exclusive haspatch - fix Create Base
2012-03-16 Ian Jacksonremove spurious .
2012-03-16 Ian Jacksonsplit into multiple source files