Sat, 15 May 2010 22:15:57 +0200 | wenzelm | renamed Outer_Parse to Parse (in Scala); | file | diff | annotate |
Sat, 15 May 2010 22:05:49 +0200 | wenzelm | renamed Outer_Keyword to Keyword (in Scala); | file | diff | annotate |
Thu, 06 May 2010 16:27:47 +0200 | wenzelm | basic support for symbolic pretty printing; | file | diff | annotate |
Wed, 05 May 2010 22:23:45 +0200 | wenzelm | some rearrangement of Scala sources; | file | diff | annotate |
Mon, 29 Mar 2010 22:43:56 +0200 | wenzelm | adapted to Scala 2.8.0 Beta1 -- with notable changes to scala.collection; | file | diff | annotate |
Mon, 11 Jan 2010 23:41:06 +0100 | wenzelm | clarified terminology; | file | diff | annotate |
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); | file | diff | annotate |
Wed, 06 Jan 2010 22:21:25 +0100 | wenzelm | tuned Isabelle/Scala build; | file | diff | annotate | base |