chiark / gitweb /
notation: fixes from paper markup of 389264b
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Sun, 4 Aug 2013 17:22:58 +0000 (18:22 +0100)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Sun, 4 Aug 2013 17:22:58 +0000 (18:22 +0100)
commitf4b799f5604417c83c799c3ff513864502f5ef67
treed8e13ec9879d02a2dfedcc4962ed07043b866489
parentf3f813bac72c13ef2284335346d02443d2f09f87
notation: fixes from paper markup of 389264b
article.tex
notation.tex