chiark / gitweb /
foreign notation: replace "D \text{ s.t. } \isforeign{D}" with "D \in \foreign"
[topbloke-formulae.git] / .gitignore
1 *.aux
2 *.log
3 *.dvi
4 *.out
5 *.pdf
6 *.ps
7 *~
8 revid.inc
9 *.new