isabelle: Changelog

blanchet [Tue, 04 Sep 2012 13:02:29 +0200] rev 49115

removed oddities

blanchet [Tue, 04 Sep 2012 13:02:28 +0200] rev 49114

allow "*" to indicate no discriminator

blanchet [Tue, 04 Sep 2012 13:02:28 +0200] rev 49113

tuned TODOs

blanchet [Tue, 04 Sep 2012 13:02:26 +0200] rev 49112

started work on sugared "(co)data" commands

blanchet [Tue, 04 Sep 2012 13:02:25 +0200] rev 49111

export "wrap" function

traytel [Tue, 04 Sep 2012 12:12:03 +0200] rev 49110

eliminated obsolete "parallel_proofs = 0" restriction (cf. 0e5b859e1c91)

traytel [Tue, 04 Sep 2012 12:10:19 +0200] rev 49109

no more aliases for Local_Theory.note; use Thm.close_derivation in internal theorems;

wenzelm [Tue, 04 Sep 2012 00:16:03 +0200] rev 49108

enable parallel terminal proofs in interaction;

wenzelm [Mon, 03 Sep 2012 23:03:54 +0200] rev 49107

misc tuning;

wenzelm [Mon, 03 Sep 2012 22:51:33 +0200] rev 49106

merged

isabelle