| Thu, 08 Jun 2017 23:04:07 +0200 | wenzelm | more HTML rendering as in Isabelle/jEdit; | changeset | files |
| Thu, 08 Jun 2017 21:17:13 +0200 | wenzelm | tuned signature; | changeset | files |
| Thu, 08 Jun 2017 15:12:30 +0200 | wenzelm | clarified menu; | changeset | files |
| Thu, 08 Jun 2017 14:27:13 +0200 | wenzelm | clarified signature; | changeset | files |
| Thu, 08 Jun 2017 14:08:07 +0200 | wenzelm | HTML preview based on PIDE markup; | changeset | files |
| Thu, 08 Jun 2017 13:17:40 +0200 | wenzelm | explicit foreground color, for the sake of dark theme in VSCode; | changeset | files |
| Thu, 08 Jun 2017 13:01:50 +0200 | wenzelm | tuned layout (amending 8040d2563593); | changeset | files |