| Mon, 02 Jan 2023 12:29:08 +0100 |
wenzelm |
clarified signature: uniform master_dir instead of separate field;
|
file |
diff |
annotate
|
| Mon, 02 Jan 2023 11:57:57 +0100 |
wenzelm |
more standard master_dir;
|
file |
diff |
annotate
|
| Sun, 01 Jan 2023 22:54:40 +0100 |
wenzelm |
tuned signature, following Url.append_path;
|
file |
diff |
annotate
|
| Sat, 31 Dec 2022 14:54:20 +0100 |
wenzelm |
more systematic Sessions.illegal_theory, based on File_Format.theory_excluded;
|
file |
diff |
annotate
|
| Sat, 31 Dec 2022 12:31:31 +0100 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Sat, 31 Dec 2022 12:10:14 +0100 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
| Sat, 31 Dec 2022 11:58:45 +0100 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
| Fri, 30 Dec 2022 20:26:28 +0100 |
wenzelm |
clarified generic path operations;
|
file |
diff |
annotate
|
| Tue, 27 Dec 2022 22:08:31 +0100 |
wenzelm |
tuned output;
|
file |
diff |
annotate
|
| Tue, 27 Dec 2022 17:35:01 +0100 |
wenzelm |
support for generic File_Format.parse_data, with persistent result in document model;
|
file |
diff |
annotate
|
| Sun, 21 Aug 2022 11:59:25 +0200 |
wenzelm |
clarified modules;
|
file |
diff |
annotate
|
| Fri, 01 Apr 2022 17:06:10 +0200 |
wenzelm |
clarified formatting, for the sake of scala3;
|
file |
diff |
annotate
|
| Thu, 04 Mar 2021 21:04:27 +0100 |
wenzelm |
clarified signature --- fewer warnings;
|
file |
diff |
annotate
|
| Thu, 04 Mar 2021 15:41:46 +0100 |
wenzelm |
tuned --- fewer warnings;
|
file |
diff |
annotate
|
| Mon, 01 Mar 2021 22:22:12 +0100 |
wenzelm |
tuned --- fewer warnings;
|
file |
diff |
annotate
|
| Wed, 13 Jan 2021 12:22:59 +0100 |
wenzelm |
tuned comments;
|
file |
diff |
annotate
|
| Sat, 19 Dec 2020 15:14:01 +0100 |
wenzelm |
clarified signature and module structure;
|
file |
diff |
annotate
|
| Sun, 06 Dec 2020 21:43:52 +0100 |
wenzelm |
clarified File_Format.detect: needs to operate on full node name;
|
file |
diff |
annotate
|
| Wed, 18 Nov 2020 15:52:12 +0100 |
wenzelm |
clarified modules;
|
file |
diff |
annotate
|
| Sun, 16 Aug 2020 11:57:15 +0200 |
wenzelm |
clarified management of services: static declarations vs. dynamic instances (e.g. relevant for stateful Session.Protocol_Handler, notably Scala.Handler and session "System");
|
file |
diff |
annotate
|
| Wed, 08 Apr 2020 20:22:50 +0200 |
wenzelm |
tuned message;
|
file |
diff |
annotate
|
| Wed, 08 Apr 2020 13:14:05 +0200 |
wenzelm |
more general support for isabelle_scala_service;
|
file |
diff |
annotate
|
| Fri, 27 Mar 2020 22:01:27 +0100 |
wenzelm |
misc tuning based on hints by IntelliJ IDEA;
|
file |
diff |
annotate
|
| Fri, 21 Dec 2018 13:38:44 +0100 |
wenzelm |
clarified;
|
file |
diff |
annotate
|
| Fri, 21 Dec 2018 12:38:30 +0100 |
wenzelm |
tuned comments;
|
file |
diff |
annotate
|
| Thu, 20 Dec 2018 23:05:37 +0100 |
wenzelm |
support for File_Format.Session, e.g. server process accessible via prover options;
|
file |
diff |
annotate
|
| Sat, 10 Nov 2018 14:08:02 +0100 |
wenzelm |
support for user-defined Isabelle/Scala command-line tools;
|
file |
diff |
annotate
|
| Wed, 07 Nov 2018 23:03:45 +0100 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Wed, 07 Nov 2018 22:31:56 +0100 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
| Wed, 07 Nov 2018 21:42:16 +0100 |
wenzelm |
more general support for Isabelle/PIDE file formats -- less hardwired Bibtex operations;
|
file |
diff |
annotate
|