| Tue, 11 Jul 2023 19:18:27 +0200 | wenzelm | suppress bad file, which does not work on regular Windows; | changeset | files |
| Tue, 11 Jul 2023 18:30:56 +0200 | wenzelm | revert ineffective b04ac8a017b2: etc/settings of polyml components needs to be changed as well; | changeset | files |
| Tue, 11 Jul 2023 17:07:10 +0200 | wenzelm | updated naproche-20230711 component for release; | changeset | files |
| Tue, 11 Jul 2023 16:59:00 +0200 | wenzelm | clarified signature; | changeset | files |
| Tue, 11 Jul 2023 16:51:52 +0200 | wenzelm | ML_system_apple=false for more stability; | changeset | files |
| Tue, 11 Jul 2023 15:51:15 +0200 | wenzelm | activate cygwin-20230711; | changeset | files |
| Tue, 11 Jul 2023 15:44:23 +0200 | wenzelm | update cygwin for Isabelle2023 -- somewhere after cygwin 3.4.0-1 (see https://cygwin.com/pipermail/cygwin-announce/2022-December/010821.html); | changeset | files |