src/Pure/build-jars
2010-05-15 wenzelm 2010-05-15 renamed Outer_Parse to Parse (in Scala);
2010-05-15 wenzelm 2010-05-15 renamed Outer_Keyword to Keyword (in Scala);
2010-05-06 wenzelm 2010-05-06 basic support for symbolic pretty printing; tuned;
2010-05-05 wenzelm 2010-05-05 some rearrangement of Scala sources;
2010-03-29 wenzelm 2010-03-29 adapted to Scala 2.8.0 Beta1 -- with notable changes to scala.collection;
2010-01-11 wenzelm 2010-01-11 clarified terminology;
2010-01-11 wenzelm 2010-01-11 incorporate "proofdocument" part into main Isabelle/Pure.jar -- except for html_panel.scala, which depends on external library (Lobo/Cobra browser);
2010-01-06 wenzelm 2010-01-06 tuned Isabelle/Scala build;