Sun, 14 Feb 2021 15:40:38 +0100 | wenzelm | Added tag Isabelle2021-RC6 for changeset ed36e33a2e4b | changeset | files |
Sat, 13 Feb 2021 21:19:53 +0100 | wenzelm | updated to flatlaf-1.0; | changeset | files |
Sat, 13 Feb 2021 20:39:29 +0100 | wenzelm | tuned NEWS; | changeset | files |
Wed, 10 Feb 2021 22:30:51 +0100 | wenzelm | tuned comments; | changeset | files |