isabelle: Changelog

wenzelm [Mon, 30 Jun 2014 10:53:37 +0200] rev 57443

ProofGeneral-4.2-2 is optional component (including the traditional helper scripts);

wenzelm [Mon, 30 Jun 2014 10:34:28 +0200] rev 57442

removed obsolete Isar system commands -- raw ML console is normally used for system tinkering;

wenzelm [Mon, 30 Jun 2014 10:10:32 +0200] rev 57441

tuned comments;

wenzelm [Mon, 30 Jun 2014 10:00:16 +0200] rev 57440

updated README;

wenzelm [Mon, 30 Jun 2014 09:43:44 +0200] rev 57439

"isabelle tty" is superseded by "isabelle console";

wenzelm [Mon, 30 Jun 2014 09:31:32 +0200] rev 57438

tuned description: fit into 80 chars terminal;

haftmann [Mon, 30 Jun 2014 08:00:36 +0200] rev 57437

qualified String.explode and String.implode

blanchet [Sun, 29 Jun 2014 21:07:53 +0200] rev 57436

removed non-existing MaSh component from list

haftmann [Sun, 29 Jun 2014 18:02:18 +0200] rev 57435

modernized diagnostic options

blanchet [Sun, 29 Jun 2014 18:30:24 +0200] rev 57434

use SMT2

isabelle