| Sat, 01 Jul 2000 19:49:48 +0200 | wenzelm | added ISABELLE_SITE_SETTINGS_PRESENT; | changeset | files |
| Sat, 01 Jul 2000 19:49:20 +0200 | wenzelm | tuned; | changeset | files |
| Sat, 01 Jul 2000 19:49:09 +0200 | wenzelm | added site settings check; | changeset | files |
| Sat, 01 Jul 2000 19:48:04 +0200 | wenzelm | * Isar: removed 'help' command, which hasn't been too helpful anyway; | changeset | files |
| Sat, 01 Jul 2000 19:45:43 +0200 | wenzelm | removed help; | changeset | files |
| Sat, 01 Jul 2000 19:45:23 +0200 | wenzelm | removed help_methods; | changeset | files |
| Sat, 01 Jul 2000 19:44:57 +0200 | wenzelm | removed "help"; | changeset | files |