| Sun, 06 Nov 2022 15:28:56 +0100 | wenzelm | afford unconditional presentation, notably export_theory and present_thy, notably for HTML + PDF presentation within PIDE; | changeset | files |
| Sun, 06 Nov 2022 12:54:46 +0100 | wenzelm | proper executable files for Windows; | changeset | files |
| Sun, 06 Nov 2022 12:20:38 +0100 | wenzelm | further attempts to confine dotnet to $ISABELLE_HOME_USER; | changeset | files |