| Commit message (Expand) | Author | Age | |
|---|---|---|---|
| * | Adding eProver to buildfarm via maintanership | Michael Raskin | 2009-08-25 |
| * | * Removed $installCommand, it's no longer needed since we split the | Eelco Dolstra | 2008-09-02 |
| * | Removing tetex reference in E Prover | Michael Raskin | 2008-05-10 |
| * | Added E authomated theorem prover and script eproof-tptp for TPTP syntax. | Michael Raskin | 2007-10-07 |