| 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 |
| Sun, 06 Nov 2022 12:11:13 +0100 | wenzelm | tuned output; | changeset | files |
| Sun, 06 Nov 2022 12:07:44 +0100 | wenzelm | more command-line options; | changeset | files |
| Sun, 06 Nov 2022 12:00:35 +0100 | wenzelm | clarified component settings: always update existing version; | changeset | files |
| Sun, 06 Nov 2022 00:00:17 +0100 | wenzelm | more TODO for release; | changeset | files |