| Sat, 14 Jun 2025 14:31:54 +0200 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
| Sat, 01 Jun 2024 12:35:38 +0200 |
wenzelm |
unused;
|
file |
diff |
annotate
|
| Sat, 01 Jun 2024 12:31:06 +0200 |
wenzelm |
clarified signature: prefer symbolic isabelle.Path over physical java.io.File;
|
file |
diff |
annotate
|
| Fri, 24 Nov 2023 20:58:12 +0100 |
wenzelm |
disable unix_domain for now: somewhat unstable, e.g. "isabelle build -b HOL-Analysis" on arm64_32-darwin (studio1);
|
file |
diff |
annotate
|
| Fri, 24 Nov 2023 16:17:29 +0100 |
wenzelm |
prefer Unix-domain socket on Unix;
|
file |
diff |
annotate
|
| Tue, 28 Feb 2023 17:42:13 +0100 |
wenzelm |
clarified signature: allow to provide session_heaps by different means, e.g. from tmp directory or alternative session structure;
|
file |
diff |
annotate
|
| Fri, 24 Feb 2023 20:40:50 +0100 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Wed, 21 Dec 2022 13:52:44 +0100 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
| Fri, 16 Dec 2022 17:51:52 +0100 |
wenzelm |
clarified names;
|
file |
diff |
annotate
|
| Fri, 16 Dec 2022 17:30:29 +0100 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
| Wed, 09 Nov 2022 12:32:20 +0100 |
wenzelm |
clarified signature: more public operations;
|
file |
diff |
annotate
|
| Fri, 01 Apr 2022 17:06:10 +0200 |
wenzelm |
clarified formatting, for the sake of scala3;
|
file |
diff |
annotate
|
| Wed, 30 Jun 2021 11:35:07 +0200 |
wenzelm |
clarified signature: prefer Java interfaces;
|
file |
diff |
annotate
|
| Fri, 04 Jun 2021 22:50:32 +0200 |
wenzelm |
tuned --- potentially more robust (e.g. session.phase_changed vs. isabelle_process.terminated);
|
file |
diff |
annotate
|
| Fri, 04 Jun 2021 22:46:11 +0200 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
| Thu, 04 Mar 2021 21:04:27 +0100 |
wenzelm |
clarified signature --- fewer warnings;
|
file |
diff |
annotate
|
| Mon, 01 Mar 2021 22:22:12 +0100 |
wenzelm |
tuned --- fewer warnings;
|
file |
diff |
annotate
|
| Sat, 02 Jan 2021 22:22:34 +0100 |
wenzelm |
clarified signature: absorb XZ.Cache into XML.Cache;
|
file |
diff |
annotate
|
| Mon, 06 Apr 2020 22:28:41 +0200 |
wenzelm |
more robust interrupts;
|
file |
diff |
annotate
|
| Thu, 02 Apr 2020 20:06:43 +0200 |
wenzelm |
proper treatment of protocol exceptions and prover termination: avoid session.stop while saving image;
|
file |
diff |
annotate
|
| Tue, 31 Mar 2020 22:27:02 +0200 |
wenzelm |
clarified signature of ML_Process vs. Isabelle_Process: proper support for "isabelle build -P -b";
|
file |
diff |
annotate
|
| Sat, 28 Mar 2020 14:01:45 +0100 |
wenzelm |
clarified Isabelle_Process phases;
|
file |
diff |
annotate
|
| Sat, 28 Mar 2020 13:30:38 +0100 |
wenzelm |
tuned error message;
|
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 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
|
| Wed, 02 Jan 2019 20:20:01 +0100 |
wenzelm |
more robust system channel via options that are private to the user;
|
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
|