2020-08-22 | wenzelm | invoke Nitpick/Kodkod via Isabelle/Scala (instead of external process); | changeset | files |
2020-08-22 | wenzelm | avoid odd PIDE markup, notably in kokodi input; | changeset | files |
2020-08-22 | wenzelm | clarified names; | changeset | files |
Loading... |