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
..
default.nix	Add tex macro lkproof for making proof figures.	2010-12-25 18:06:36 +00:00