haftmann [Thu, 01 Oct 2009 09:09:56 +0200] rev 32806
explicitly Unsynchronized
ballarin [Thu, 01 Oct 2009 07:40:25 +0200] rev 32805
Merged.
ballarin [Tue, 29 Sep 2009 22:15:54 +0200] rev 32804
Propagation of mixins for interpretation; reactivated diagnostic command print_interps.
ballarin [Sun, 27 Sep 2009 11:50:27 +0200] rev 32803
Archive registrations by external view.
ballarin [Sat, 26 Sep 2009 21:03:57 +0200] rev 32802
Stricter test: raise error if registration generates duplicate theorem.
ballarin [Sat, 19 Sep 2009 18:43:11 +0200] rev 32801
Explicit management of registration mixins.
ballarin [Wed, 19 Aug 2009 19:35:46 +0200] rev 32800
Improved comments and api names.
wenzelm [Thu, 01 Oct 2009 01:03:36 +0200] rev 32799
eliminated dead code, redundant bindings and parameters;
use === term operator, which is defined here;
handle Type.TYPE_MATCH, not arbitrary exceptions;
misc tuning and simplification;
wenzelm [Thu, 01 Oct 2009 00:32:00 +0200] rev 32798
misc tuning and simplification;
be explicit about expressions involving infixes with non-obvious priorities;
removed dead code;
some attempts to recover basic Isabelle coding conventions;
wenzelm [Wed, 30 Sep 2009 23:49:53 +0200] rev 32797
eliminated dead code;
eliminated redundant bindings;
misc tuning;
wenzelm [Wed, 30 Sep 2009 23:44:23 +0200] rev 32796
eliminated dead code;
wenzelm [Wed, 30 Sep 2009 23:30:37 +0200] rev 32795
Sorts.of_sort_derivation: no pp here;
wenzelm [Wed, 30 Sep 2009 23:28:54 +0200] rev 32794
eliminated redundant bindings;
schedule_tasks/require_thy: eliminated obsolete tasks_len, which was a leftover from theory-only parallelization;
wenzelm [Wed, 30 Sep 2009 23:16:15 +0200] rev 32793
actually perform Isar_Document.init on startup;