| 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 |
| Sun, 18 Nov 2012 15:28:58 +0100 | wenzelm | update options via protocol; | file | diff | annotate |