Commit graph

1 commit

Author SHA1 Message Date
Karn Kallio 4bbb72da2f Add tex macro lkproof for making proof figures.
svn path=/nixpkgs/trunk/; revision=25277
2010-12-25 18:06:36 +00:00