Fri, 20 Jan 2023 21:35:49 +0100 |
wenzelm |
proper position for semantic completion: avoid duplicate quotes;
|
file |
diff |
annotate
|
Fri, 20 Jan 2023 21:08:18 +0100 |
wenzelm |
proper positions for Isabelle/ML, instead of Isabelle/Scala;
|
file |
diff |
annotate
|
Fri, 20 Jan 2023 20:26:42 +0100 |
wenzelm |
dismantle special treatment of citations in Isabelle/Scala;
|
file |
diff |
annotate
|
Fri, 20 Jan 2023 19:52:52 +0100 |
wenzelm |
more direct check of bibtex entries via Isabelle/Scala;
|
file |
diff |
annotate
|
Fri, 20 Jan 2023 16:30:09 +0100 |
wenzelm |
support Session argument for Scala.Fun;
|
file |
diff |
annotate
|
Thu, 19 Jan 2023 16:17:24 +0100 |
wenzelm |
uniform keywords for embedded syntax;
|
file |
diff |
annotate
|
Tue, 17 Jan 2023 15:55:52 +0100 |
wenzelm |
clarified formal check of bibtex entries (again), see also 86a099f896fc and 467f45e79ff9;
|
file |
diff |
annotate
|
Mon, 16 Jan 2023 20:40:42 +0100 |
wenzelm |
permissive treatment of citations before the theory header: avoid too many changes in AFP;
|
file |
diff |
annotate
|
Sun, 15 Jan 2023 16:28:03 +0100 |
wenzelm |
clarified treatment of cite macro name;
|
file |
diff |
annotate
|
Sun, 15 Jan 2023 15:30:25 +0100 |
wenzelm |
explicit legacy_feature;
|
file |
diff |
annotate
|
Fri, 13 Jan 2023 15:57:11 +0100 |
wenzelm |
support embedded syntax, for use with control symbols;
|
file |
diff |
annotate
|
Fri, 13 Jan 2023 14:38:19 +0100 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
Fri, 13 Jan 2023 13:10:44 +0100 |
wenzelm |
clarified default: final value is provided in Isabelle/Scala Latex.Cite.unapply;
|
file |
diff |
annotate
|
Fri, 13 Jan 2023 13:01:19 +0100 |
wenzelm |
more "cite" antiquotations;
|
file |
diff |
annotate
|
Fri, 13 Jan 2023 12:37:09 +0100 |
wenzelm |
clarified signature: more generic operations;
|
file |
diff |
annotate
|
Fri, 13 Jan 2023 12:16:04 +0100 |
wenzelm |
clarified check: this could be \nocite;
|
file |
diff |
annotate
|
Thu, 12 Jan 2023 19:48:47 +0100 |
wenzelm |
clarified Latex markup: optional cite "location" consists of nested document text;
|
file |
diff |
annotate
|
Thu, 12 Jan 2023 16:01:49 +0100 |
wenzelm |
more explicit latex markup;
|
file |
diff |
annotate
|
Mon, 06 Dec 2021 15:34:54 +0100 |
wenzelm |
discontinued old-style {* verbatim *} tokens;
|
file |
diff |
annotate
|
Fri, 21 May 2021 12:29:29 +0200 |
wenzelm |
clarified modules;
|
file |
diff |
annotate
|
Mon, 18 Jan 2021 13:45:53 +0100 |
wenzelm |
clarified reports before errors: support completion of bibtex entries in Isabelle/Scala (amending d01ea9e3bd2d);
|
file |
diff |
annotate
|
Mon, 18 Jan 2021 13:43:32 +0100 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
Mon, 18 Jan 2021 13:41:54 +0100 |
wenzelm |
proper theory_long_name;
|
file |
diff |
annotate
|
Sun, 15 Nov 2020 17:34:19 +0100 |
wenzelm |
clarified bibtex_entries: refer to overall session structure;
|
file |
diff |
annotate
|
Sat, 22 Aug 2020 20:37:31 +0200 |
wenzelm |
clarified names;
|
file |
diff |
annotate
|
Sun, 24 May 2020 19:45:42 +0200 |
wenzelm |
proper check of registered Scala functions;
|
file |
diff |
annotate
|
Sat, 23 May 2020 21:43:30 +0200 |
wenzelm |
more robust isabelle.Functions --- avoid Java reflection with unclear class/object treatment;
|
file |
diff |
annotate
|
Wed, 20 May 2020 20:45:43 +0200 |
wenzelm |
clarified modules;
|
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
|
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
|
Fri, 29 Dec 2017 19:53:43 +0100 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
Fri, 29 Dec 2017 17:40:57 +0100 |
wenzelm |
formal check of @{cite} bibtex entries -- only in batch-mode session builds;
|
file |
diff |
annotate
|
Wed, 27 Dec 2017 11:51:38 +0100 |
wenzelm |
clarified default position for empty message pos;
|
file |
diff |
annotate
|
Sun, 24 Dec 2017 14:10:41 +0100 |
wenzelm |
check bibtex database on ML side -- for semantic PIDE editing;
|
file |
diff |
annotate
|
Sun, 24 Dec 2017 13:07:05 +0100 |
wenzelm |
clarified directories;
|
file |
diff |
annotate
| base
|