chiark / gitweb /
foreign notation: change \bot to \foreign everywhere
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Sun, 27 May 2012 23:01:01 +0000 (00:01 +0100)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Sun, 27 May 2012 23:01:01 +0000 (00:01 +0100)
commitfd4fcf610bbe38767f7aba836c233bdc46e513e3
tree4afef499de60060e3a2b1751d84be337a1e2ad26
parent05d6e35d69c91ddf88e8d5a5febea740bbfac22f
foreign notation: change \bot to \foreign everywhere
anticommit.tex
article.tex
invariants.tex
lemmas.tex
merge.tex
notation.tex
pseudomerge.tex
simple.tex