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
|