| Mon, 02 Mar 2020 15:33:58 +0100 | wenzelm | follow Phabricator update 2020 Week 6; | changeset | files |
| Mon, 02 Mar 2020 14:09:39 +0100 | wenzelm | tuned signature; | changeset | files |
| Mon, 02 Mar 2020 13:57:03 +0100 | wenzelm | VSCode extension for official Isabelle release; | changeset | files |