1
0
Fork 1
mirror of https://github.com/NixOS/nixpkgs.git synced 2024-12-25 03:17:13 +00:00
Commit graph

2 commits

Author SHA1 Message Date
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