| Fri, 01 Mar 2019 21:29:59 +0100 |
wenzelm |
system option "system_heaps" supersedes various command-line options for "system build mode";
|
file |
diff |
annotate
|
| Sat, 22 Sep 2018 14:24:53 +0200 |
wenzelm |
proper return code for runtime failure;
|
file |
diff |
annotate
|
| Thu, 26 Jul 2018 15:19:56 +0200 |
wenzelm |
more flexible session selection as in "isabelle jedit";
|
file |
diff |
annotate
|
| Thu, 15 Mar 2018 21:44:34 +0100 |
wenzelm |
clarified server log;
|
file |
diff |
annotate
|
| Wed, 14 Mar 2018 16:48:05 +0100 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
| Tue, 13 Mar 2018 18:28:12 +0100 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Thu, 28 Dec 2017 22:53:45 +0100 |
wenzelm |
implicit thy_load context for bibtex files (VSCode);
|
file |
diff |
annotate
|
| Wed, 01 Nov 2017 16:43:51 +0100 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
| Tue, 31 Oct 2017 18:45:33 +0100 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
| Tue, 31 Oct 2017 17:56:28 +0100 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
| Mon, 18 Sep 2017 18:25:52 +0200 |
wenzelm |
proper result type (cf. b9f5cd845616);
|
file |
diff |
annotate
|
| Mon, 18 Sep 2017 18:19:06 +0200 |
wenzelm |
recode Unicode text on the spot, e.g. from copy-paste of output;
|
file |
diff |
annotate
|
| Mon, 18 Sep 2017 18:11:21 +0200 |
wenzelm |
support for workspace edits;
|
file |
diff |
annotate
|
| Mon, 18 Sep 2017 10:32:09 +0200 |
wenzelm |
store document version;
|
file |
diff |
annotate
|
| Thu, 10 Aug 2017 11:35:39 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|