3 commits

Author	SHA1	Message	Date
Eelco Dolstra	5d9dfc1e60	* Removed $installCommand, it's no longer needed since we split the ... install and fixup phases. You can just override installPhase. svn path=/nixpkgs/trunk/; revision=12787	2008-09-02 13:51:32 +00:00
Michael Raskin	66f306ac4e	Removing tetex reference in E Prover ... svn path=/nixpkgs/trunk/; revision=11810	2008-05-10 09:19:50 +00:00
Michael Raskin	c86efaec81	Added E authomated theorem prover and script eproof-tptp for TPTP syntax. ... svn path=/nixpkgs/trunk/; revision=9418	2007-10-07 13:37:08 +00:00