chiark / gitweb /
create-base: Add a $\qed$
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Sat, 10 Aug 2013 18:55:21 +0000 (19:55 +0100)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Sat, 10 Aug 2013 18:55:21 +0000 (19:55 +0100)
commit5fea207e4a0e896c15e803ea8c51e7fc84eb8c25
tree6c040de7ce75f738f53bad9a2176aa2536769110
parent83215439d0ccac0b21762b7ea0138ea32f2263fb
create-base: Add a $\qed$
create-base.tex