chiark / gitweb /
~ian / topbloke-formulae.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: c1a7842) | patch
foreign notation: replace "D \text{ s.t. } \isforeign{D}" with "D \in \foreign"
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Sun, 27 May 2012 23:12:08 +0000 (00:12 +0100)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Sun, 27 May 2012 23:12:08 +0000 (00:12 +0100)
commit54e1d86039f0cb0e7db9e2e7be3f56a611a247f6
tree7e06de39b403e286d37656be88b6bcae61c6116ctree | snapshot
parentc1a7842aff8780cc79535f08287aa95bdeba20a7commit | diff
foreign notation: replace "D \text{ s.t. } \isforeign{D}" with "D \in \foreign"
anticommit.tex diff | blob | history
invariants.tex diff | blob | history
lemmas.tex diff | blob | history
merge.tex diff | blob | history
pseudomerge.tex diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.