| Sat, 22 Aug 2020 23:22:25 +0200 | wenzelm | invoke Nitpick/Kodkod via Isabelle/Scala (instead of external process); | changeset | files |
| Sat, 22 Aug 2020 23:11:48 +0200 | wenzelm | avoid odd PIDE markup, notably in kokodi input; | changeset | files |
| Sat, 22 Aug 2020 20:37:31 +0200 | wenzelm | clarified names; | changeset | files |