| Wed, 02 Jan 2013 13:20:10 +0100 | wenzelm | removed outdated comment; | 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 |