| Mon, 16 Nov 2020 23:27:43 +0100 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
| Sat, 27 Jun 2020 11:25:30 +0200 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
| Tue, 26 May 2020 11:58:42 +0200 |
wenzelm |
clarified signature --- fit within limit of 22 arguments;
|
file |
diff |
annotate
|
| Tue, 21 Apr 2020 19:07:11 +0200 |
wenzelm |
clarified imports;
|
file |
diff |
annotate
|
| Mon, 13 Apr 2020 16:16:22 +0200 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
| Mon, 06 Apr 2020 12:53:45 +0200 |
wenzelm |
clarified modules;
|
file |
diff |
annotate
|
| Sun, 05 Apr 2020 13:05:40 +0200 |
wenzelm |
clarified names;
|
file |
diff |
annotate
|
| Sat, 28 Mar 2020 14:01:45 +0100 |
wenzelm |
clarified Isabelle_Process phases;
|
file |
diff |
annotate
|
| Sat, 28 Mar 2020 12:06:37 +0100 |
wenzelm |
clarified signature: more robust startup_join;
|
file |
diff |
annotate
|
| Fri, 27 Mar 2020 22:01:27 +0100 |
wenzelm |
misc tuning based on hints by IntelliJ IDEA;
|
file |
diff |
annotate
|
| Fri, 27 Mar 2020 12:46:56 +0100 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
| Fri, 27 Mar 2020 12:28:55 +0100 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
| Fri, 27 Mar 2020 12:03:20 +0100 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
| Thu, 12 Sep 2019 13:33:09 +0200 |
wenzelm |
find theory files via session structure: much faster Prover IDE startup;
|
file |
diff |
annotate
|
| Sat, 01 Jun 2019 21:43:41 +0200 |
wenzelm |
tuned imports -- accommodate scala-2.13.0-RC3;
|
file |
diff |
annotate
|
| 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
|