| Mon, 18 Jan 2021 15:46:35 +0100 | wenzelm | updated for release; | changeset | files |
| Mon, 18 Jan 2021 15:22:17 +0100 | wenzelm | updated screenshot; | changeset | files |
| Mon, 18 Jan 2021 13:45:53 +0100 | wenzelm | clarified reports before errors: support completion of bibtex entries in Isabelle/Scala (amending d01ea9e3bd2d); | changeset | files |