isabelle: Changelog

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

wenzelm [Mon, 11 Jan 2010 22:01:39 +0100] rev 34868

more timing;

wenzelm [Mon, 11 Jan 2010 20:51:58 +0100] rev 34867

more tobust treatment of Document.current_state; some timing;

wenzelm [Mon, 11 Jan 2010 18:28:31 +0100] rev 34866

new unparsed span for text right after existing command; tuned;

isabelle