chiark / gitweb /
formatting move/add some qeds
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Sun, 11 Mar 2012 15:56:43 +0000 (15:56 +0000)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Sun, 11 Mar 2012 15:56:43 +0000 (15:56 +0000)
commit06ac9200d087b074fe60a46fbe186dab4bf653c9
treea6b682f0b83e549a1a607ad9410aeaf0911853b7
parent1dba870613dc3668dbbcb5cf5afd61f9cd310a1d
formatting move/add some qeds
article.tex