| Sun, 08 Oct 2023 15:12:59 +0200 |
wenzelm |
proper thread context for "isabelle-markup" Sidekick parser (amending 01a7265db76b);
|
file |
diff |
annotate
|
| Tue, 07 Mar 2023 23:24:40 +0100 |
wenzelm |
tuned headers;
|
file |
diff |
annotate
|
| Sat, 04 Mar 2023 16:15:50 +0100 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Sat, 24 Dec 2022 13:19:39 +0100 |
wenzelm |
tuned signature: follow terminology of VSCode_Resources;
|
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
|
| Fri, 01 Apr 2022 23:19:12 +0200 |
wenzelm |
tuned formatting;
|
file |
diff |
annotate
|
| Fri, 01 Apr 2022 17:06:10 +0200 |
wenzelm |
clarified formatting, for the sake of scala3;
|
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 16:35:45 +0200 |
wenzelm |
build.props for isabelle.jar, including isabelle.jedit;
|
file |
diff |
annotate
| base
|