chiark / gitweb /
notation: fixes from annotations
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Thu, 12 Jul 2012 22:57:57 +0000 (23:57 +0100)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Thu, 12 Jul 2012 22:57:57 +0000 (23:57 +0100)
commit9ad96b436e0c1ddc5c4fb5074c588644e88c0bae
tree67838c3ab4564fb2f179a9b6e8f569cc5a2a205e
parentad178f973fea2cc5483a55f6dc84599277cbf39b
notation: fixes from annotations
notation.tex