chiark / gitweb /
add note about non-exclusivity of \haspatch and \nothaspatch
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Fri, 16 Mar 2012 23:00:18 +0000 (23:00 +0000)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Fri, 16 Mar 2012 23:00:18 +0000 (23:00 +0000)
commita8c0dda901340bdd4fb4ca3464f0572c0cab3bd4
treef430e7b85b4924c778672d11595fe993a2eaff7b
parent26a840c1b223aa5b9d9fd1dc9e7c1922c87cf5f5
add note about non-exclusivity of \haspatch and \nothaspatch
annotations.tex
notation.tex