| Wed, 30 Aug 2023 21:18:52 +0200 | wenzelm | NEWS; | changeset | files |
| Wed, 30 Aug 2023 21:03:30 +0200 | wenzelm | update to "scalac -source 3.3" (from 3.1); | changeset | files |
| Tue, 29 Aug 2023 21:54:35 +0200 | wenzelm | proper pattern (amending ff86f10e54cd); | changeset | files |
| Tue, 29 Aug 2023 20:19:57 +0200 | wenzelm | discontinue odd AFP partitioning: let Build_Cluster / Build_Engine do the job; | changeset | files |
| Tue, 29 Aug 2023 20:14:44 +0200 | wenzelm | discontinue special treatment of AFP: "isabelle dump" has been superseded by regular "isabelle build" databases; | changeset | files |
| Tue, 29 Aug 2023 19:20:51 +0200 | wenzelm | clarified signature: prefer enum types; | changeset | files |
| Tue, 29 Aug 2023 19:17:25 +0200 | wenzelm | proper type, following Bus.event; | changeset | files |