2010-05-28 ago assume given SCALA_HOME, e.g. from component settings or external setup;
2010-05-21 ago simplified message markup, using plain XML.Elem directly;
2010-05-21 ago more abstract view on prover output messages;
2010-05-17 ago renamed class Outer_Lex to Token and Token_Kind to Token.Kind;
2010-05-15 ago renamed Outer_Parse to Parse (in Scala);
2010-05-15 ago renamed Outer_Keyword to Keyword (in Scala);
2010-05-06 ago basic support for symbolic pretty printing;
2010-05-05 ago some rearrangement of Scala sources;
2010-03-29 ago adapted to Scala 2.8.0 Beta1 -- with notable changes to scala.collection;
2010-01-11 ago clarified terminology;
2010-01-11 ago incorporate "proofdocument" part into main Isabelle/Pure.jar -- except for html_panel.scala, which depends on external library (Lobo/Cobra browser);
2010-01-06 ago tuned Isabelle/Scala build;