Fri, 15 Apr 2005 17:03:35 +0200 | nipkow | *** empty log message *** | changeset | files |
Fri, 15 Apr 2005 14:14:24 +0200 | nipkow | New | changeset | files |
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 |