| Tue, 12 Jul 2011 11:45:13 +0200 | wenzelm | Isabelle string syntax allows literal control characters; | 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 |
| Sat, 29 Aug 2009 10:50:04 +0200 | wenzelm | moved Pure/Tools/isabelle_syntax.scala to Pure/System/isabelle_syntax.scala; | file | diff | annotate | base |