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
|