isabelle: Changelog

wenzelm [Mon, 30 Jul 2012 15:31:00 +0200] rev 48605

allow negative int values as well, according to real = int | float;

wenzelm [Mon, 30 Jul 2012 14:38:45 +0200] rev 48604

misc tuning;

wenzelm [Mon, 30 Jul 2012 14:29:12 +0200] rev 48603

discontinued unused isabelle jedit debugger; tuned;

wenzelm [Mon, 30 Jul 2012 14:11:29 +0200] rev 48602

more uniform usage of "isabelle tool";

wenzelm [Mon, 30 Jul 2012 13:48:56 +0200] rev 48601

less verbosity;

wenzelm [Mon, 30 Jul 2012 13:44:40 +0200] rev 48600

proper treatment of eof wrt. proper_input -- allow input of spaces/comments only;

wenzelm [Mon, 30 Jul 2012 13:42:45 +0200] rev 48599

tuned signature;

wenzelm [Mon, 30 Jul 2012 12:08:25 +0200] rev 48598

updated ROOT according to 3defa60a7ae3;

wenzelm [Mon, 30 Jul 2012 12:04:37 +0200] rev 48597

merged

bulwahn [Mon, 30 Jul 2012 10:59:33 +0200] rev 48596

re-activating Quickcheck_Narrowing_Examples in Quickcheck_Examples

isabelle