chiark / gitweb /
foreign notation: replace "D \text{ s.t. } \isforeign{D}" with "D \in \foreign"
[topbloke-formulae.git] / .git-revid
2012-03-18 Ian Jacksonrevid - use "git foo" not "git-foo"
2012-03-18 Ian Jacksonrevid - make more suitable for us
2012-03-18 Ian Jackson.git-revid from my trains.git