src/Pure/System/session.scala
Sat, 06 Feb 2010 20:57:07 +0100 wenzelm fixed spelling;
Mon, 11 Jan 2010 23:00:05 +0100 wenzelm incorporate "proofdocument" part into main Isabelle/Pure.jar -- except for html_panel.scala, which depends on external library (Lobo/Cobra browser);
less more (0) tip