Sat, 22 May 2010 20:37:20 +0200 | wenzelm | ignore system messages; | file | diff | annotate |
Fri, 21 May 2010 16:49:33 +0200 | wenzelm | bad_result: report fully explicit message; | file | diff | annotate |
Sat, 15 May 2010 22:05:49 +0200 | wenzelm | renamed Outer_Keyword to Keyword (in Scala); | file | diff | annotate |
Mon, 10 May 2010 15:01:25 +0200 | wenzelm | ignore spurious TIMEOUT messages, maybe caused by change of actor semantics in scala-2.8; | file | diff | annotate |
Thu, 06 May 2010 15:04:37 +0200 | wenzelm | extractors for document updates; | file | diff | annotate |
Wed, 05 May 2010 22:23:45 +0200 | wenzelm | some rearrangement of Scala sources; | file | diff | annotate |
Sat, 06 Feb 2010 20:57:07 +0100 | wenzelm | fixed spelling; | 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 |