| Sat, 10 Oct 2015 16:26:23 +0200 | wenzelm | isabelle update_cartouches; | changeset | files |
| Sat, 10 Oct 2015 16:21:34 +0200 | wenzelm | more explicit HTML.symbols; | changeset | files |
| 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 |