Thu, 14 Nov 2019 11:35:02 +0100 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
Sun, 06 Oct 2019 14:17:58 +0200 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
Mon, 16 Sep 2019 16:00:10 +0200 |
wenzelm |
find theories via session directories only -- ignore known_theories;
|
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, 23 Feb 2019 21:32:29 +0100 |
wenzelm |
obsolete;
|
file |
diff |
annotate
|
Mon, 21 Jan 2019 16:50:48 +0100 |
wenzelm |
clarified ML_OPTIONS on Windows;
|
file |
diff |
annotate
|
Wed, 02 Jan 2019 21:18:35 +0100 |
wenzelm |
strict bash invocation: proper error checking;
|
file |
diff |
annotate
|
Wed, 02 Jan 2019 20:20:01 +0100 |
wenzelm |
more robust system channel via options that are private to the user;
|
file |
diff |
annotate
|
Sat, 19 May 2018 20:05:13 +0200 |
wenzelm |
support for build_database_server (PostgreSQL);
|
file |
diff |
annotate
|
Fri, 18 May 2018 21:00:15 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
Fri, 18 May 2018 17:09:55 +0200 |
wenzelm |
support Store with options;
|
file |
diff |
annotate
|
Thu, 17 May 2018 15:38:36 +0200 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
Fri, 09 Feb 2018 17:57:36 +0100 |
wenzelm |
more robust: avoid global change of LD_LIBRARY_PATH (e.g. relevant for subprocesses);
|
file |
diff |
annotate
|
Sun, 28 Jan 2018 12:57:35 +0100 |
wenzelm |
proper signature (amending c4e9e0c50487);
|
file |
diff |
annotate
|
Tue, 23 Jan 2018 19:25:39 +0100 |
wenzelm |
treat sessions as entities with defining position;
|
file |
diff |
annotate
|