Michael Raskin 66f306ac4e Removing tetex reference in E Prover ... svn path=/nixpkgs/trunk/; revision=11810		2008-05-10 09:19:50 +00:00
..
default.nix	Removing tetex reference in E Prover	2008-05-10 09:19:50 +00:00