Fri, 27 Nov 2020 21:59:23 +0100 |
wenzelm |
clarified theory keywords: loaded_files are determined statically in Scala, but ML needs to do it semantically;
|
file |
diff |
annotate
|
Fri, 20 Nov 2020 23:47:34 +0100 |
wenzelm |
generate theory HTML in Isabelle/Scala;
|
file |
diff |
annotate
|
Tue, 17 Nov 2020 22:57:56 +0100 |
wenzelm |
refer to command_timings/last_timing via resources;
|
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 13:11:15 +0100 |
wenzelm |
refer to HTML symbols via resources;
|
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 17:34:19 +0100 |
wenzelm |
clarified bibtex_entries: refer to overall session structure;
|
file |
diff |
annotate
|
Tue, 27 Oct 2020 22:34:37 +0100 |
wenzelm |
clarified signature: overloaded "+" for Path.append;
|
file |
diff |
annotate
|
Mon, 17 Aug 2020 13:16:42 +0200 |
wenzelm |
more systematic support for special directories;
|
file |
diff |
annotate
|
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
|