chiark / gitweb /
create-tip: Add a $\qed$
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Sat, 10 Aug 2013 18:56:21 +0000 (19:56 +0100)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Sat, 10 Aug 2013 18:56:21 +0000 (19:56 +0100)
commitd487ea8f587d3e514a04ee7b99d6d14f27792851
treea26f439f8c35a03d41ba940afbba3e5bf85a9fb6
parent5fea207e4a0e896c15e803ea8c51e7fc84eb8c25
create-tip: Add a $\qed$
create-tip.tex