| Thu, 01 Jun 2017 21:15:56 +0200 | wenzelm | output control symbols like ML version, with optionally hidden source; | changeset | files |
| Thu, 01 Jun 2017 21:14:38 +0200 | wenzelm | use css from Isabelle distribution; | changeset | files |
| Thu, 01 Jun 2017 20:52:31 +0200 | wenzelm | clarified output; | changeset | files |