chiark / gitweb /
~ian / topbloke-formulae.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: fd4fcf6) | patch
foreign notation: introduce \isforeign
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Sun, 27 May 2012 23:03:06 +0000 (00:03 +0100)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Sun, 27 May 2012 23:03:06 +0000 (00:03 +0100)
commit28bb86cd8218c491ad4fe845c4547af57b1aecb4
treee92650292c2f533ec3c7108cd8190678db651296tree | snapshot
parentfd4fcf610bbe38767f7aba836c233bdc46e513e3commit | diff
foreign notation: introduce \isforeign

perl -i~ -pe 's/\\patchof(\{[^{}]+\})\s+=\s+\\foreign\b/\\isforeign$1/g' *.tex

and then add the definition in article.tex
anticommit.tex diff | blob | history
article.tex diff | blob | history
invariants.tex diff | blob | history
lemmas.tex diff | blob | history
merge.tex diff | blob | history
pseudomerge.tex diff | blob | history
simple.tex diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.