Michael Raskin
|
9e928bb1e9
|
Adding eProver to buildfarm via maintanership
svn path=/nixpkgs/trunk/; revision=16854
|
2009-08-25 08:28:08 +00:00 |
|
|
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 |
|