| Sun, 03 Jan 2021 16:21:59 +0100 | wenzelm | clarified HTML presentation elements; | changeset | files |
| Sun, 03 Jan 2021 12:11:56 +0100 | wenzelm | more robust bootstrap: Isabelle-jEdit.shasum could be absent; | changeset | files |
| Sat, 02 Jan 2021 23:03:47 +0100 | wenzelm | tuned whitespace (amending a4bffc0de967); | changeset | files |