| Tue, 30 Jul 2013 19:53:06 +0200 | wenzelm | tuned -- more uniform ML vs. Scala; | file | diff | annotate |
| Wed, 10 Jul 2013 22:04:57 +0200 | wenzelm | tuned signature; | file | diff | annotate |
| Wed, 10 Jul 2013 21:54:43 +0200 | wenzelm | no need for raw stdin; | file | diff | annotate |
| Tue, 09 Apr 2013 20:34:15 +0200 | wenzelm | public Isabelle_Process.xml_cache (thread-safe); | file | diff | annotate |
| Tue, 09 Apr 2013 20:27:27 +0200 | wenzelm | tuned signature; | file | diff | annotate |
| Sun, 25 Nov 2012 20:17:04 +0100 | wenzelm | explicit module UTF8; | file | diff | annotate |
| Sun, 25 Nov 2012 19:49:24 +0100 | wenzelm | Isabelle-specific implementation of quasi-abstract markup elements -- back to module arrangement before d83797ef0d2d; | file | diff | annotate |