| Sun, 11 Jun 2006 21:59:17 +0200 | wenzelm | avoid unqualified exception; | changeset | files |
| Sun, 11 Jun 2006 19:36:10 +0200 | nipkow | added quoting via back quotes | changeset | files |
| Sun, 11 Jun 2006 00:42:22 +0200 | dixon | updated IsaMakefiles for new location of IsaPlanner. | changeset | files |
| Sun, 11 Jun 2006 00:39:31 +0200 | dixon | removed IsaPlanner - these are now in Provers. | changeset | files |
| Sun, 11 Jun 2006 00:38:45 +0200 | dixon | removed IsaPlannner things from Pure. Moved to Provers. | changeset | files |
| Sun, 11 Jun 2006 00:36:17 +0200 | dixon | moved to new location in Provers. | changeset | files |
| Sun, 11 Jun 2006 00:28:18 +0200 | dixon | added updated version of IsaPlanner and substitution. | changeset | files |