| Fri, 15 Apr 2005 13:35:53 +0200 | paulson | more tidying up of the SPASS interface | changeset | files |
| Fri, 15 Apr 2005 12:00:00 +0200 | ballarin | Removed most of the atp interface from Pure. | changeset | files |
| Thu, 14 Apr 2005 19:30:57 +0200 | aspinall | Include automatic determination of poly version. | changeset | files |
| Thu, 14 Apr 2005 19:16:07 +0200 | aspinall | Add RDISTDIR option used by Isabelle RPM. | changeset | files |
| Thu, 14 Apr 2005 17:57:23 +0200 | nipkow | Added thm names | changeset | files |
| Thu, 14 Apr 2005 17:57:04 +0200 | nipkow | Removed dir Orderings in Library | changeset | files |
| Thu, 14 Apr 2005 09:19:55 +0200 | kleing | fix: added path to garbage | changeset | files |