| 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
|