| Fri, 23 Dec 2022 22:51:47 +0100 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
| Fri, 23 Dec 2022 22:48:29 +0100 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
| Fri, 23 Dec 2022 22:41:47 +0100 |
wenzelm |
more robust Document.Pending_Edits: cover all nodes simulataneously, and thus support proper Snapshot.switch;
|
file |
diff |
annotate
|
| Tue, 20 Dec 2022 16:34:13 +0100 |
wenzelm |
clarified state document nodes for Theories_Status / Document_Dockable;
|
file |
diff |
annotate
|
| Mon, 19 Dec 2022 13:06:59 +0100 |
wenzelm |
clarified state change: presumably more robust;
|
file |
diff |
annotate
|
| Mon, 19 Dec 2022 12:33:52 +0100 |
wenzelm |
clarified module initialization;
|
file |
diff |
annotate
|
| Sat, 17 Dec 2022 17:02:09 +0100 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
| Thu, 08 Dec 2022 22:38:03 +0100 |
wenzelm |
clarified signature: proper scopes and types;
|
file |
diff |
annotate
|
| Thu, 08 Dec 2022 11:55:35 +0100 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Wed, 07 Dec 2022 12:38:06 +0100 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
| Tue, 06 Dec 2022 20:08:51 +0100 |
wenzelm |
clarified signature: less redundancy;
|
file |
diff |
annotate
|
| Tue, 06 Dec 2022 19:29:29 +0100 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Tue, 06 Dec 2022 19:20:09 +0100 |
wenzelm |
potentially more robust delay_load action: avoid loosing events due to guards;
|
file |
diff |
annotate
|
| Tue, 06 Dec 2022 18:37:57 +0100 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
| Wed, 09 Nov 2022 12:32:20 +0100 |
wenzelm |
clarified signature: more public operations;
|
file |
diff |
annotate
|
| Sat, 13 Aug 2022 21:23:59 +0200 |
wenzelm |
clarified modules;
|
file |
diff |
annotate
|
| Sat, 13 Aug 2022 18:06:30 +0200 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
| Sat, 13 Aug 2022 17:18:45 +0200 |
wenzelm |
clarified signature: more explicit types;
|
file |
diff |
annotate
|
| Thu, 04 Aug 2022 12:43:33 +0200 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
| Thu, 04 Aug 2022 12:14:56 +0200 |
wenzelm |
tuned, following hints by IntelliJ IDEA;
|
file |
diff |
annotate
|
| Fri, 01 Apr 2022 17:06:10 +0200 |
wenzelm |
clarified formatting, for the sake of scala3;
|
file |
diff |
annotate
|
| Fri, 25 Feb 2022 14:38:16 +0100 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
| Mon, 21 Feb 2022 14:33:41 +0100 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
| Sun, 20 Feb 2022 22:14:30 +0100 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
| Sat, 31 Jul 2021 15:44:11 +0200 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
| Sat, 17 Jul 2021 23:09:54 +0200 |
wenzelm |
tuned --- based on hints by IntelliJ IDEA;
|
file |
diff |
annotate
|
| Thu, 15 Jul 2021 22:07:56 +0200 |
wenzelm |
clarified global state: allow to deactivate main plugin;
|
file |
diff |
annotate
|
| Thu, 15 Jul 2021 21:35:31 +0200 |
wenzelm |
more robust (again): allow to deactivate main plugin;
|
file |
diff |
annotate
|
| Thu, 15 Jul 2021 21:11:39 +0200 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
| Thu, 15 Jul 2021 16:35:45 +0200 |
wenzelm |
build.props for isabelle.jar, including isabelle.jedit;
|
file |
diff |
annotate
| base
|