| Fri, 09 Oct 2015 19:51:20 +0200 | wenzelm | installable TTF for MS IE 9+; | changeset | files |
| Fri, 09 Oct 2015 19:25:13 +0200 | wenzelm | output HTML text according to Isabelle/Scala Symbol.Interpretation; | changeset | files |
| Fri, 09 Oct 2015 17:15:53 +0200 | wenzelm | tuned output; | changeset | files |