chiark / gitweb /
foreign notation: replace "D \text{ s.t. } \isforeign{D}" with "D \in \foreign"
[topbloke-formulae.git] / .gitignore
2012-03-18 Ian Jacksonrevid - include
2012-03-01 Ian Jackson.gitignore
2012-03-01 Ian Jacksonmakefile etc.