| Thu, 16 Apr 2020 00:37:07 +0200 | wenzelm | removed obsolete RC tags; | changeset | files |
| Wed, 15 Apr 2020 14:31:21 +0200 | wenzelm | merged | changeset | files |
| Wed, 15 Apr 2020 12:33:42 +0200 | wenzelm | Added tag Isabelle2020 for changeset abf3e80bd815 | changeset | files |
| Mon, 13 Apr 2020 22:08:14 +0200 | wenzelm | tuned NEWS; | changeset | files |
| Sun, 12 Apr 2020 16:59:49 +0200 | wenzelm | tuned NEWS; | changeset | files |
| Mon, 13 Apr 2020 17:40:44 +0200 | wenzelm | tuned message; | changeset | files |
| Mon, 13 Apr 2020 16:32:56 +0200 | wenzelm | tuned message; | changeset | files |