| Tue, 14 Mar 2023 10:35:41 +0100 |
wenzelm |
clarified modules;
|
file |
diff |
annotate
|
| Thu, 02 Mar 2023 16:09:22 +0100 |
wenzelm |
clarified names;
|
file |
diff |
annotate
|
| Thu, 02 Mar 2023 15:55:20 +0100 |
wenzelm |
tuned, following ML_Statistics.monitor;
|
file |
diff |
annotate
|
| Thu, 02 Mar 2023 15:39:21 +0100 |
wenzelm |
tuned;
|
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
|
| Tue, 28 Feb 2023 17:16:50 +0100 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Tue, 28 Feb 2023 17:12:39 +0100 |
wenzelm |
simplified somewhat pointless error message (see also 0189fe0f6452);
|
file |
diff |
annotate
|
| Mon, 20 Feb 2023 21:47:25 +0100 |
wenzelm |
tuned: avoid redundant white space;
|
file |
diff |
annotate
|
| Wed, 21 Dec 2022 13:52:44 +0100 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
| Fri, 16 Dec 2022 18:12:48 +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
|
| Fri, 16 Dec 2022 17:02:10 +0100 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
| Sat, 20 Aug 2022 13:28:31 +0200 |
wenzelm |
clarified signature: follow Sessions.Deps.check_errors (despite Process_Result.check);
|
file |
diff |
annotate
|
| Wed, 17 Aug 2022 15:18:17 +0200 |
wenzelm |
clarified signature: avoid constants from Sessions.Structure within Session.Base;
|
file |
diff |
annotate
|
| Wed, 22 Jun 2022 14:22:08 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Wed, 22 Jun 2022 14:18:48 +0200 |
wenzelm |
clarified session resources for bootstrap, notably for Scala functions;
|
file |
diff |
annotate
|
| Fri, 01 Apr 2022 23:19:12 +0200 |
wenzelm |
tuned formatting;
|
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
|
| Sun, 25 Apr 2021 22:33:15 +0200 |
wenzelm |
avoid "exec" to change the winpid;
|
file |
diff |
annotate
|
| Sat, 28 Nov 2020 21:56:24 +0100 |
wenzelm |
added document antiquotation @{tool};
|
file |
diff |
annotate
|
| Tue, 17 Nov 2020 22:05:59 +0100 |
wenzelm |
more uniform Resources.init_session via YXML;
|
file |
diff |
annotate
|
| Mon, 16 Nov 2020 23:49:20 +0100 |
wenzelm |
clarified Resources.init_session for low-level "isabelle process";
|
file |
diff |
annotate
|
| Mon, 16 Nov 2020 13:11:15 +0100 |
wenzelm |
refer to HTML symbols via resources;
|
file |
diff |
annotate
|
| Sun, 15 Nov 2020 22:04:16 +0100 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Sun, 15 Nov 2020 22:00:45 +0100 |
wenzelm |
refer to session structure from resources;
|
file |
diff |
annotate
|
| Sun, 15 Nov 2020 18:16:20 +0100 |
wenzelm |
more scalable: avoid large strings on command-line;
|
file |
diff |
annotate
|
| Sun, 15 Nov 2020 17:42:35 +0100 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Sun, 15 Nov 2020 17:34:19 +0100 |
wenzelm |
clarified bibtex_entries: refer to overall session structure;
|
file |
diff |
annotate
|