Thu, 06 Aug 2020 22:43:40 +0200 |
wenzelm |
discontinued old batch-build functionality;
|
file |
diff |
annotate
|
Thu, 16 Jul 2020 14:36:43 +0200 |
wenzelm |
more thorough extend/merge, notably for master_dir across Theory.join_theory (e.g. for @{file} antiquotation);
|
file |
diff |
annotate
|
Wed, 27 May 2020 20:51:25 +0200 |
wenzelm |
clarified markup;
|
file |
diff |
annotate
|
Wed, 27 May 2020 20:38:59 +0200 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
Tue, 26 May 2020 22:45:05 +0200 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
Sun, 24 May 2020 12:38:41 +0200 |
wenzelm |
more robust: explicit check for PIDE session;
|
file |
diff |
annotate
|
Sun, 24 May 2020 10:36:42 +0200 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
Mon, 16 Sep 2019 21:42:22 +0200 |
wenzelm |
clarified import_name: observe directory notation more strictly;
|
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
|
Wed, 03 Apr 2019 23:35:13 +0200 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
Sat, 30 Mar 2019 20:54:47 +0100 |
wenzelm |
clarified signature: more explicit type Path.binding;
|
file |
diff |
annotate
|
Fri, 01 Mar 2019 16:49:41 +0100 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
Fri, 04 Jan 2019 21:49:06 +0100 |
wenzelm |
support for isabelle update -u control_cartouches;
|
file |
diff |
annotate
|
Tue, 27 Nov 2018 21:07:39 +0100 |
wenzelm |
more accurate positions for "name" (quoted string) and "embedded" (cartouche): refer to content without delimiters, which is e.g. relevant for systematic selection/renaming of scope groups;
|
file |
diff |
annotate
|
Mon, 12 Nov 2018 15:14:12 +0100 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
Sat, 10 Nov 2018 19:39:38 +0100 |
wenzelm |
added ML antiquotation @{master_dir};
|
file |
diff |
annotate
|
Sat, 10 Nov 2018 19:01:20 +0100 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
Mon, 05 Nov 2018 15:00:55 +0100 |
wenzelm |
prefer symbolic path: it is potentially persisted;
|
file |
diff |
annotate
|
Sun, 06 May 2018 22:15:52 +0200 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
Sun, 06 May 2018 19:10:21 +0200 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
Sat, 05 May 2018 22:33:35 +0200 |
wenzelm |
protocol message for export of theory resources;
|
file |
diff |
annotate
|
Tue, 23 Jan 2018 19:25:39 +0100 |
wenzelm |
treat sessions as entities with defining position;
|
file |
diff |
annotate
|
Fri, 19 Jan 2018 15:20:13 +0100 |
wenzelm |
sort completion result;
|
file |
diff |
annotate
|
Fri, 19 Jan 2018 14:55:46 +0100 |
wenzelm |
formal treatment of documentation names;
|
file |
diff |
annotate
|
Thu, 18 Jan 2018 21:41:30 +0100 |
wenzelm |
clarified access to antiquotation options;
|
file |
diff |
annotate
|
Tue, 09 Jan 2018 15:40:12 +0100 |
wenzelm |
clarified modules;
|
file |
diff |
annotate
|
Sat, 16 Dec 2017 21:53:07 +0100 |
wenzelm |
added document antiquotation @{session name};
|
file |
diff |
annotate
|
Sat, 16 Dec 2017 17:23:00 +0100 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
Sat, 16 Dec 2017 16:46:01 +0100 |
wenzelm |
PIDE markup for session ROOT files;
|
file |
diff |
annotate
|
Sat, 16 Dec 2017 15:15:51 +0100 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
Sat, 16 Dec 2017 12:27:10 +0100 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
Wed, 06 Dec 2017 18:59:33 +0100 |
wenzelm |
prefer control symbol antiquotations;
|
file |
diff |
annotate
|
Tue, 28 Nov 2017 22:14:10 +0100 |
wenzelm |
clarified theory_name vs. loaded_theory: proper import_name for already loaded theories from other sessions (amending 4c98c929a12a);
|
file |
diff |
annotate
|
Fri, 06 Oct 2017 21:14:00 +0200 |
wenzelm |
clarified error for bad session-qualified imports;
|
file |
diff |
annotate
|
Thu, 28 Sep 2017 15:11:32 +0200 |
wenzelm |
session-qualified theory names are mandatory;
|
file |
diff |
annotate
|
Thu, 28 Sep 2017 11:53:55 +0200 |
wenzelm |
discontinued extra checks (see ce676a750575 and 60c159d490a2) -- qualified theory names are meant to cover this;
|
file |
diff |
annotate
|
Fri, 21 Apr 2017 14:09:03 +0200 |
wenzelm |
eliminated default_qualifier: just a constant;
|
file |
diff |
annotate
|
Tue, 18 Apr 2017 16:34:58 +0200 |
wenzelm |
exclude theories from other sessions;
|
file |
diff |
annotate
|
Tue, 18 Apr 2017 14:19:49 +0200 |
wenzelm |
actually qualify theory names;
|
file |
diff |
annotate
|
Mon, 17 Apr 2017 20:33:18 +0200 |
wenzelm |
uniform use of theory base name for presentation;
|
file |
diff |
annotate
|
Thu, 13 Apr 2017 12:39:36 +0200 |
wenzelm |
clarified init_session_base / finish_session_base: retain some information for plain "isabelle process", without rechecking dependencies as in "isabelle console";
|
file |
diff |
annotate
|
Thu, 13 Apr 2017 12:19:28 +0200 |
wenzelm |
tuned signature (again);
|
file |
diff |
annotate
|
Wed, 12 Apr 2017 23:35:42 +0200 |
wenzelm |
tuned according to Scala version;
|
file |
diff |
annotate
|
Wed, 12 Apr 2017 22:32:55 +0200 |
wenzelm |
clarified loaded_theories: map to qualified theory name;
|
file |
diff |
annotate
|
Mon, 10 Apr 2017 16:43:12 +0200 |
wenzelm |
proper import qualifier for global theories;
|
file |
diff |
annotate
|
Mon, 10 Apr 2017 11:52:21 +0200 |
wenzelm |
clarified, according to Scala version;
|
file |
diff |
annotate
|
Sat, 08 Apr 2017 22:36:32 +0200 |
wenzelm |
more qualifier treatment, but in the end it is still ignored;
|
file |
diff |
annotate
|
Sat, 08 Apr 2017 21:28:19 +0200 |
wenzelm |
provide Resources.import_name in ML, similar to Scala version;
|
file |
diff |
annotate
|
Sat, 08 Apr 2017 21:09:34 +0200 |
wenzelm |
clarified;
|
file |
diff |
annotate
|
Sat, 08 Apr 2017 20:56:41 +0200 |
wenzelm |
more session_base information in ML;
|
file |
diff |
annotate
|
Fri, 07 Apr 2017 21:06:48 +0200 |
wenzelm |
refer to known_theory;
|
file |
diff |
annotate
|
Fri, 07 Apr 2017 19:35:39 +0200 |
wenzelm |
provide session base for "isabelle build" and "isabelle console" ML process;
|
file |
diff |
annotate
|
Mon, 27 Feb 2017 16:29:52 +0100 |
wenzelm |
absent timing information means zero, according to 0070053570c4, f235646b1b73;
|
file |
diff |
annotate
|
Fri, 12 Aug 2016 14:19:27 +0200 |
wenzelm |
uniform ML and document antiquotations;
|
file |
diff |
annotate
|
Fri, 12 Aug 2016 13:34:59 +0200 |
wenzelm |
clarified error;
|
file |
diff |
annotate
|
Thu, 11 Aug 2016 18:26:44 +0200 |
wenzelm |
clarified antiquotations;
|
file |
diff |
annotate
|
Sat, 10 Oct 2015 16:21:34 +0200 |
wenzelm |
more explicit HTML.symbols;
|
file |
diff |
annotate
|
Fri, 09 Oct 2015 21:16:00 +0200 |
wenzelm |
more direct HTML presentation, without print mode;
|
file |
diff |
annotate
|
Mon, 16 Mar 2015 16:26:02 +0100 |
wenzelm |
tuned message -- include completion;
|
file |
diff |
annotate
|