| Fri, 28 May 2010 20:41:23 +0200 |
assume given SCALA_HOME, e.g. from component settings or external setup;
|
file | diff | annotate |
| Fri, 21 May 2010 20:10:45 +0200 |
simplified message markup, using plain XML.Elem directly;
|
file | diff | annotate |
| Fri, 21 May 2010 14:53:19 +0200 |
more abstract view on prover output messages;
|
file | diff | annotate |
| Mon, 17 May 2010 14:23:54 +0200 |
renamed class Outer_Lex to Token and Token_Kind to Token.Kind;
|
file | diff | annotate |
| Sat, 15 May 2010 22:15:57 +0200 |
renamed Outer_Parse to Parse (in Scala);
|
file | diff | annotate |
| Sat, 15 May 2010 22:05:49 +0200 |
renamed Outer_Keyword to Keyword (in Scala);
|
file | diff | annotate |
| Thu, 06 May 2010 16:27:47 +0200 |
basic support for symbolic pretty printing;
|
file | diff | annotate |
| Wed, 05 May 2010 22:23:45 +0200 |
some rearrangement of Scala sources;
|
file | diff | annotate |
| Mon, 29 Mar 2010 22:43:56 +0200 |
adapted to Scala 2.8.0 Beta1 -- with notable changes to scala.collection;
|
file | diff | annotate |
| Mon, 11 Jan 2010 23:41:06 +0100 |
clarified terminology;
|
file | diff | annotate |
| Mon, 11 Jan 2010 23:00:05 +0100 |
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 |
tuned Isabelle/Scala build;
|
file | diff | annotate | base |