isabelle: Changelog

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

wenzelm [Mon, 30 Jul 2012 12:03:48 +0200] rev 48595

added build option -c; tuned;

wenzelm [Mon, 30 Jul 2012 11:03:44 +0200] rev 48594

removed build option -f (cf. a125b8040ada), due to slightly inconvenient behaviour on ancestors;

haftmann [Sun, 29 Jul 2012 21:55:56 +0200] rev 48593

script for downloading components from central store

wenzelm [Sun, 29 Jul 2012 21:40:46 +0200] rev 48592

added build option -f;

haftmann [Sat, 28 Jul 2012 22:01:21 +0200] rev 48591

corrected slip

isabelle