| Wed, 03 Nov 2021 22:55:22 +0100 | wenzelm | clarified link style: similar to Isabelle/jEdit; | changeset | files |
| Wed, 03 Nov 2021 22:03:56 +0100 | wenzelm | tuned; | changeset | files |
| Wed, 03 Nov 2021 21:06:04 +0100 | wenzelm | improved HTML presentation by Fabian Huch; | changeset | files |
| Wed, 03 Nov 2021 20:53:52 +0100 | wenzelm | proper HTTPS; | changeset | files |
| Wed, 03 Nov 2021 20:45:02 +0100 | wenzelm | proper markup type (amending be49c660ebbf); | changeset | files |
| Wed, 03 Nov 2021 16:23:32 +0100 | wenzelm | merged; | changeset | files |
| Wed, 03 Nov 2021 16:23:20 +0100 | wenzelm | more PIDE markup; | changeset | files |