isabelle: Changelog

wenzelm [Tue, 12 Jan 2010 16:51:51 +0100] rev 34880

provide JEDIT_SETTINGS via settings; provide default perspective; tuned default properties;

wenzelm [Tue, 12 Jan 2010 14:57:29 +0100] rev 34879

updated version and dependencies;

wenzelm [Tue, 12 Jan 2010 13:36:01 +0100] rev 34878

recovered subscript (cf. ded5b770ec1c);

haftmann [Tue, 12 Jan 2010 09:59:45 +0100] rev 34877

formal antiquotations for ML snippets; no "open" unsynchronized references

wenzelm [Mon, 11 Jan 2010 23:41:06 +0100] rev 34876

clarified terminology;

wenzelm [Mon, 11 Jan 2010 23:11:31 +0100] rev 34875

merged

haftmann [Mon, 11 Jan 2010 16:45:02 +0100] rev 34874

added code certificates

haftmann [Mon, 11 Jan 2010 16:45:02 +0100] rev 34873

tuned code equations

hoelzl [Mon, 11 Jan 2010 11:47:38 +0100] rev 34872

Matrices form a semiring with 0

wenzelm [Mon, 11 Jan 2010 23:00:05 +0100] rev 34871

incorporate "proofdocument" part into main Isabelle/Pure.jar -- except for html_panel.scala, which depends on external library (Lobo/Cobra browser);

isabelle