Fri, 09 Oct 2015 21:20:43 +0200 | wenzelm | NEWS; | changeset | files |
Fri, 09 Oct 2015 21:16:00 +0200 | wenzelm | more direct HTML presentation, without print mode; | changeset | files |
Fri, 09 Oct 2015 20:26:03 +0200 | wenzelm | discontinued specific HTML syntax; | changeset | files |
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 |