| 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 |