| Thu, 07 Oct 1999 14:44:55 +0200 | berghofe | Added functions for enabling and disabling derivations. | changeset | files |
| Thu, 07 Oct 1999 14:32:32 +0200 | wenzelm | read_idents; | changeset | files |
| Thu, 07 Oct 1999 14:32:18 +0200 | wenzelm | $ISATOOL; | changeset | files |
| Thu, 07 Oct 1999 14:31:20 +0200 | wenzelm | unset ISABELLE_SETTINGS_PRESENT; | changeset | files |