| Sun, 05 Feb 2023 14:59:50 +0100 |
wenzelm |
clarified modules;
|
changeset |
files
|
| Sun, 05 Feb 2023 14:57:14 +0100 |
wenzelm |
tuned signature;
|
changeset |
files
|
| Sun, 05 Feb 2023 14:41:25 +0100 |
wenzelm |
update to polyml-5e9c8155ea96, which is more robust on arm64;
|
changeset |
files
|
| Sun, 05 Feb 2023 13:57:27 +0100 |
wenzelm |
more robust dependencies for Pure;
|
changeset |
files
|
| Sun, 05 Feb 2023 13:13:59 +0100 |
wenzelm |
proper compiler root for arm64;
|
changeset |
files
|
| Sat, 04 Feb 2023 23:08:36 +0100 |
wenzelm |
clarified "isabelle build_polyml": download and build everything for current platform;
|
changeset |
files
|
| Fri, 03 Feb 2023 22:39:59 +0100 |
wenzelm |
no view_document after build: avoid loss of focus, especially in "auto build" mode;
|
changeset |
files
|
| Fri, 03 Feb 2023 21:25:17 +0100 |
wenzelm |
tuned message;
|
changeset |
files
|
| Fri, 03 Feb 2023 20:47:13 +0100 |
wenzelm |
build only if required, view only after proper build: thus avoid pointless events in "auto build" mode;
|
changeset |
files
|
| Fri, 03 Feb 2023 20:37:05 +0100 |
wenzelm |
clarified modules;
|
changeset |
files
|
| Fri, 03 Feb 2023 20:23:37 +0100 |
wenzelm |
maintain document_output meta data;
|
changeset |
files
|
| Fri, 03 Feb 2023 19:00:29 +0100 |
wenzelm |
clarified modules;
|
changeset |
files
|
| Fri, 03 Feb 2023 16:50:14 +0100 |
wenzelm |
avoid redundant SelectionChanged events;
|
changeset |
files
|
| Fri, 03 Feb 2023 16:24:46 +0100 |
wenzelm |
more logging;
|
changeset |
files
|
| Fri, 03 Feb 2023 14:29:07 +0100 |
wenzelm |
proper symbolic handle on component resources:
|
changeset |
files
|