isabelle: Changelog

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);

wenzelm [Mon, 11 Jan 2010 22:44:21 +0100] rev 34870

ignore some src/Tools/jEdit stuff;

wenzelm [Mon, 11 Jan 2010 22:31:27 +0100] rev 34869

merged with converted/relocated copy of http://isabelle.in.tum.de/repos/isabelle-jedit/rev/93d884afa74b

isabelle