isabelle: Changelog

hoelzl [Wed, 19 Jan 2011 17:44:53 +0100] rev 41659

tuned proof

haftmann [Fri, 21 Jan 2011 10:43:09 +0100] rev 41658

merged

haftmann [Fri, 21 Jan 2011 09:44:12 +0100] rev 41657

moved theorem

haftmann [Fri, 21 Jan 2011 09:41:59 +0100] rev 41656

restructured theory; tuned proofs

hoelzl [Wed, 19 Jan 2011 11:34:10 +0100] rev 41655

merged

hoelzl [Tue, 18 Jan 2011 21:37:23 +0100] rev 41654

Gauge measure removed

haftmann [Tue, 18 Jan 2011 09:44:29 +0100] rev 41653

merged

haftmann [Tue, 18 Jan 2011 09:44:23 +0100] rev 41652

report mutabelle log in mira configuration

wenzelm [Mon, 17 Jan 2011 20:20:51 +0100] rev 41651

back to post-release mode;

wenzelm [Sun, 30 Jan 2011 20:47:26 +0100] rev 41650

delete .elc files unconditionally -- they cause too many incompatibilities;

isabelle