| Tue, 11 Jun 2024 21:32:26 +0200 |
wenzelm |
clarified signature: pro-forma support for Bytes with size: Long;
|
file |
diff |
annotate
|
| Sat, 31 Dec 2022 15:42:13 +0100 |
wenzelm |
tunes signature;
|
file |
diff |
annotate
|
| Fri, 01 Apr 2022 17:06:10 +0200 |
wenzelm |
clarified formatting, for the sake of scala3;
|
file |
diff |
annotate
|
| Mon, 01 Mar 2021 22:22:12 +0100 |
wenzelm |
tuned --- fewer warnings;
|
file |
diff |
annotate
|
| Mon, 07 Dec 2020 20:26:09 +0100 |
wenzelm |
clarified signature: provide XZ.Cache where Export.Entry is created;
|
file |
diff |
annotate
|
| Wed, 30 Jan 2019 16:32:06 +0100 |
wenzelm |
clarified modules;
|
file |
diff |
annotate
|
| Wed, 30 Jan 2019 16:12:01 +0100 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Wed, 30 Jan 2019 16:07:06 +0100 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
| Wed, 30 Jan 2019 14:35:15 +0100 |
wenzelm |
clarified modules;
|
file |
diff |
annotate
|
| Sun, 13 Jan 2019 13:33:23 +0100 |
wenzelm |
added action "isabelle-export-browser";
|
file |
diff |
annotate
|
| Sat, 12 Jan 2019 21:26:35 +0100 |
wenzelm |
avoid access to ".NAME.marks" exports;
|
file |
diff |
annotate
|
| Sat, 12 Jan 2019 21:21:35 +0100 |
wenzelm |
proper _getFile method -- required to open files from browser;
|
file |
diff |
annotate
|
| Sat, 12 Jan 2019 20:14:05 +0100 |
wenzelm |
more robust: no assumptions about GUI thread or document model;
|
file |
diff |
annotate
|
| Sat, 12 Jan 2019 19:53:57 +0100 |
wenzelm |
more robust: jEdit may produce names with trailing "/";
|
file |
diff |
annotate
|
| Fri, 11 Jan 2019 22:55:02 +0100 |
wenzelm |
access Isabelle theory exports via virtual file-system;
|
file |
diff |
annotate
|