Fri, 25 Mar 2005 14:14:01 +0100 | aspinall | Revert previous change (but leave comments). | changeset | files |
Fri, 25 Mar 2005 14:04:42 +0100 | aspinall | Support new PGIP commands redostep, redoitem | changeset | files |
Fri, 25 Mar 2005 13:03:47 +0100 | aspinall | Support non-standard file: URL syntax, temporarily. | changeset | files |
Thu, 24 Mar 2005 17:03:37 +0100 | ballarin | Further work on interpretation commands. New command `interpret' for | changeset | files |
Thu, 24 Mar 2005 16:36:40 +0100 | ballarin | *** empty log message *** | changeset | files |
Thu, 24 Mar 2005 16:34:15 +0100 | ballarin | Transitivity reasoner ignores types amenable to linear arithmetic. | changeset | files |
Thu, 24 Mar 2005 10:59:21 +0100 | paulson | COMMENT IN WRONG PLACE | changeset | files |