isabelle: Changelog

wenzelm [Sat, 28 Jul 2012 13:18:34 +0200] rev 48575

renamed isabelle-root minor mode;

wenzelm [Sat, 28 Jul 2012 13:11:58 +0200] rev 48574

discontinued special treatment of Proof General;

wenzelm [Sat, 28 Jul 2012 13:01:48 +0200] rev 48573

top-down order of user interfaces;

wenzelm [Sat, 28 Jul 2012 12:59:53 +0200] rev 48572

misc tuning;

huffman [Sat, 28 Jul 2012 07:26:37 +0200] rev 48571

move exception handlers outside of let block

wenzelm [Fri, 27 Jul 2012 23:14:55 +0200] rev 48570

tuned message;

wenzelm [Fri, 27 Jul 2012 22:28:30 +0200] rev 48569

merged

haftmann [Fri, 27 Jul 2012 22:26:38 +0200] rev 48568

evaluation: allow multiple code modules

wenzelm [Fri, 27 Jul 2012 22:23:00 +0200] rev 48567

tuned proofs -- avoid odd situations of polymorphic Frees in goal state;

wenzelm [Fri, 27 Jul 2012 21:57:56 +0200] rev 48566

merged

isabelle