chiark / gitweb /
invariants: remove some slightly ugly colons
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Fri, 27 Apr 2012 11:51:52 +0000 (12:51 +0100)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Fri, 27 Apr 2012 11:51:52 +0000 (12:51 +0100)
commitd95cd22b31c6d38e4dd4b3132300dd3ad8df0f1a
tree1091dab44b9900a199a3413b21e2f7b328fbc205
parentedd89d19f03e82b54c2999319ac48fe20173ff6e
invariants: remove some slightly ugly colons
invariants.tex