Tue, 11 May 2010 23:36:06 +0200 | wenzelm | more precise pretty printing based on actual font metrics; | file | diff | annotate |
Tue, 11 May 2010 15:47:31 +0200 | wenzelm | support Isabelle plugin properties with defaults; | file | diff | annotate |
Mon, 10 May 2010 23:36:47 +0200 | wenzelm | font size re-adjustment according to Lobo internals; | file | diff | annotate |
Sat, 08 May 2010 21:08:30 +0200 | wenzelm | tuned headers; | file | diff | annotate |
Fri, 07 May 2010 22:00:23 +0200 | wenzelm | output symbolic pretty printing markup and format in the front end; | file | diff | annotate |
Tue, 30 Mar 2010 00:13:27 +0200 | wenzelm | adapted to Scala 2.8.0 Beta 1; | 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 | base |