| Fri, 16 Apr 2021 23:16:00 +0200 | wenzelm | support for conditional ML text; | changeset | files |
| Fri, 16 Apr 2021 21:54:08 +0200 | wenzelm | updated example; | changeset | files |
| Fri, 16 Apr 2021 21:50:47 +0200 | wenzelm | clarified options; | changeset | files |
| Thu, 15 Apr 2021 19:45:43 +0000 | haftmann | proper context variable handling when stripping leadings quantifiers from test goals | changeset | files |
| Wed, 14 Apr 2021 21:15:24 +0200 | wenzelm | proper etc/ISABELLE_ID from archive (amending 4cba4e250c28); | changeset | files |
| Wed, 14 Apr 2021 20:53:28 +0200 | wenzelm | eliminated perl: prefer elementary GNU printenv; | changeset | files |
| Wed, 14 Apr 2021 14:36:13 +0200 | wenzelm | more robust bootstrap of components; | changeset | files |