| Tue, 29 Aug 2023 15:23:06 +0200 | wenzelm | clarified generated Scala, for the sake of "scalac -source 3.3"; | changeset | files |
| Tue, 29 Aug 2023 13:05:32 +0200 | wenzelm | discontinue old Java 11 LTS; | changeset | files |
| Tue, 29 Aug 2023 12:53:28 +0200 | wenzelm | misc tuning: support "scalac -source 3.3"; | changeset | files |
| Tue, 29 Aug 2023 12:04:13 +0200 | wenzelm | obsolete (see b4e6b82fdb9e); | changeset | files |
| Sun, 27 Aug 2023 19:14:04 +0200 | wenzelm | merged | changeset | files |
| Sun, 27 Aug 2023 19:07:12 +0200 | wenzelm | update for release; | changeset | files |
| Sun, 27 Aug 2023 17:00:03 +0200 | wenzelm | Added tag Isabelle2023-RC4 for changeset 12aac1489f3b | changeset | files |
| Sun, 27 Aug 2023 15:28:48 +0200 | wenzelm | minimal documentation for build cluster support; | changeset | files |