isabelle: Changelog

wenzelm [Thu, 01 Oct 2009 14:11:28 +0200] rev 32809

avoid mixed l/r infixes, which do not work in some versions of SML;

wenzelm [Thu, 01 Oct 2009 12:15:35 +0200] rev 32808

tuned;

wenzelm [Thu, 01 Oct 2009 11:33:32 +0200] rev 32807

merged

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.

isabelle