src/Pure/Isar/bundle.ML
Tue, 03 Apr 2012 20:08:08 +0200 wenzelm less intrusive visibility;
Tue, 03 Apr 2012 18:22:14 +0200 wenzelm close context elements via Expression.cert/read_declaration;
Sun, 01 Apr 2012 21:46:45 +0200 wenzelm more general context command with auxiliary fixes/assumes etc.;
Sun, 01 Apr 2012 20:42:19 +0200 wenzelm nothing specific about named target;
Sun, 01 Apr 2012 19:07:32 +0200 wenzelm added Attrib.global_notes/local_notes/generic_notes convenience;
Wed, 21 Mar 2012 23:41:58 +0100 wenzelm actually expose target context;
Wed, 21 Mar 2012 23:26:35 +0100 wenzelm more explicit Toplevel.open_target/close_target;
Wed, 21 Mar 2012 21:24:13 +0100 wenzelm tuned signature;
Wed, 21 Mar 2012 21:06:31 +0100 wenzelm optional 'includes' element for long theorem statements;
Wed, 21 Mar 2012 17:25:35 +0100 wenzelm basic support for nested contexts including bundles;
Tue, 20 Mar 2012 20:00:13 +0100 wenzelm basic support for bundled declarations;
less more (0) tip