| Mon, 30 Jun 2014 10:53:37 +0200 | wenzelm | ProofGeneral-4.2-2 is optional component (including the traditional helper scripts); | changeset | files |
| Mon, 30 Jun 2014 10:34:28 +0200 | wenzelm | removed obsolete Isar system commands -- raw ML console is normally used for system tinkering; | changeset | files |
| Mon, 30 Jun 2014 10:10:32 +0200 | wenzelm | tuned comments; | changeset | files |
| Mon, 30 Jun 2014 10:00:16 +0200 | wenzelm | updated README; | changeset | files |
| Mon, 30 Jun 2014 09:43:44 +0200 | wenzelm | "isabelle tty" is superseded by "isabelle console"; | changeset | files |
| Mon, 30 Jun 2014 09:31:32 +0200 | wenzelm | tuned description: fit into 80 chars terminal; | changeset | files |
| Mon, 30 Jun 2014 08:00:36 +0200 | haftmann | qualified String.explode and String.implode | changeset | files |