| Wed, 03 Apr 2019 00:07:26 +0200 | wenzelm | UHD is standard, HD non-standard; | changeset | files |
| Tue, 02 Apr 2019 16:58:10 +0200 | wenzelm | updated for release; | changeset | files |
| Tue, 02 Apr 2019 16:55:56 +0200 | wenzelm | merged | changeset | files |
| Tue, 02 Apr 2019 15:16:56 +0200 | wenzelm | Added tag Isabelle2019-RC0 for changeset 6f2ab7f150f6 | changeset | files |