| Sun, 25 Nov 2012 20:17:04 +0100 | wenzelm | explicit module UTF8; | changeset | files |
| Sun, 25 Nov 2012 19:55:42 +0100 | wenzelm | tuned file name; | changeset | files |
| Sun, 25 Nov 2012 19:49:24 +0100 | wenzelm | Isabelle-specific implementation of quasi-abstract markup elements -- back to module arrangement before d83797ef0d2d; | changeset | files |