| Fri, 24 Feb 2023 20:52:35 +0100 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Fri, 24 Feb 2023 20:40:50 +0100 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Mon, 06 Feb 2023 21:31:49 +0100 |
wenzelm |
proper orientation for right-associative operations;
|
file |
diff |
annotate
|
| Mon, 06 Feb 2023 16:29:19 +0100 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
| Tue, 31 Jan 2023 16:13:27 +0100 |
wenzelm |
more accurate Word.capitalize: do not touch name;
|
file |
diff |
annotate
|
| Fri, 20 Jan 2023 21:56:34 +0100 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
| Fri, 20 Jan 2023 21:28:47 +0100 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
| Fri, 20 Jan 2023 21:19:11 +0100 |
wenzelm |
clarified signature;
|
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 13:42:39 +0100 |
wenzelm |
proper citations for unselected theories, notably for the default selection of the GUI panel;
|
file |
diff |
annotate
|
| Fri, 20 Jan 2023 13:31:58 +0100 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
| Fri, 20 Jan 2023 11:58:18 +0100 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Thu, 19 Jan 2023 16:17:24 +0100 |
wenzelm |
uniform keywords for embedded syntax;
|
file |
diff |
annotate
|
| Thu, 19 Jan 2023 15:51:09 +0100 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
| Thu, 19 Jan 2023 14:57:25 +0100 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
| Thu, 19 Jan 2023 11:46:21 +0100 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
| Thu, 19 Jan 2023 11:25:48 +0100 |
wenzelm |
tuned comments;
|
file |
diff |
annotate
|
| Thu, 19 Jan 2023 11:23:44 +0100 |
wenzelm |
parse citations from raw source, without formal context;
|
file |
diff |
annotate
|
| Wed, 18 Jan 2023 16:49:01 +0100 |
wenzelm |
tuned signature: fewer warnings in IntelliJ IDEA;
|
file |
diff |
annotate
|
| Wed, 18 Jan 2023 16:15:41 +0100 |
wenzelm |
clarified signature;
|
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 12:55:23 +0100 |
wenzelm |
more robust: rely on PIDE markup instead of regex guess;
|
file |
diff |
annotate
|
| Sat, 14 Jan 2023 20:15:09 +0100 |
wenzelm |
basic support for update_cite_commands;
|
file |
diff |
annotate
|
| Fri, 06 Jan 2023 16:43:51 +0100 |
wenzelm |
tuned signature: more uniform operations;
|
file |
diff |
annotate
|
| Mon, 02 Jan 2023 11:57:57 +0100 |
wenzelm |
more standard master_dir;
|
file |
diff |
annotate
|
| Sat, 31 Dec 2022 14:54:20 +0100 |
wenzelm |
more systematic Sessions.illegal_theory, based on File_Format.theory_excluded;
|
file |
diff |
annotate
|
| Fri, 30 Dec 2022 20:38:29 +0100 |
wenzelm |
more robust: avoid detour via somewhat fragile Node.Name.path;
|
file |
diff |
annotate
|
| Tue, 27 Dec 2022 22:08:31 +0100 |
wenzelm |
tuned output;
|
file |
diff |
annotate
|
| Tue, 27 Dec 2022 17:35:01 +0100 |
wenzelm |
support for generic File_Format.parse_data, with persistent result in document model;
|
file |
diff |
annotate
|
| Mon, 26 Dec 2022 16:57:07 +0100 |
wenzelm |
more bibtex errors;
|
file |
diff |
annotate
|
| Mon, 26 Dec 2022 16:44:13 +0100 |
wenzelm |
clarified signature: internalize errors (but: the parser rarely fails);
|
file |
diff |
annotate
|
| Mon, 26 Dec 2022 15:11:42 +0100 |
wenzelm |
clarified signature: more explicit types;
|
file |
diff |
annotate
|
| Thu, 22 Sep 2022 17:24:50 +0200 |
wenzelm |
clarified signature: persistent Node.source / Snapshot.source;
|
file |
diff |
annotate
|
| Sun, 21 Aug 2022 11:59:25 +0200 |
wenzelm |
clarified modules;
|
file |
diff |
annotate
|
| Fri, 19 Aug 2022 16:46:00 +0200 |
wenzelm |
clarified signature: support for adhoc file types;
|
file |
diff |
annotate
|
| Fri, 08 Jul 2022 20:24:05 +0200 |
wenzelm |
more robust Scala 3 indentation, for the sake of IntelliJ IDEA;
|
file |
diff |
annotate
|
| Fri, 08 Apr 2022 16:26:48 +0200 |
wenzelm |
tuned --- fewer warnings in scala3;
|
file |
diff |
annotate
|
| Fri, 01 Apr 2022 23:19:12 +0200 |
wenzelm |
tuned formatting;
|
file |
diff |
annotate
|
| Fri, 01 Apr 2022 17:06:10 +0200 |
wenzelm |
clarified formatting, for the sake of scala3;
|
file |
diff |
annotate
|
| Tue, 18 May 2021 17:19:19 +0200 |
wenzelm |
more uniform bibtex error, without using perl (see 4710dd5093a3);
|
file |
diff |
annotate
|
| Mon, 12 Apr 2021 18:10:13 +0200 |
wenzelm |
clarified signature for Scala functions;
|
file |
diff |
annotate
|
| Thu, 04 Mar 2021 15:41:46 +0100 |
wenzelm |
tuned --- fewer warnings;
|
file |
diff |
annotate
|
| Mon, 01 Mar 2021 22:22:12 +0100 |
wenzelm |
tuned --- fewer warnings;
|
file |
diff |
annotate
|
| Sat, 27 Feb 2021 18:04:29 +0100 |
wenzelm |
clarified modules: more like ML;
|
file |
diff |
annotate
|
| Sun, 10 Jan 2021 13:04:29 +0100 |
wenzelm |
more informative errors: simplify diagnosis of spurious failures reported by users;
|
file |
diff |
annotate
|
| Sat, 19 Dec 2020 15:14:01 +0100 |
wenzelm |
clarified signature and module structure;
|
file |
diff |
annotate
|
| Wed, 09 Dec 2020 15:14:24 +0100 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
| Sun, 06 Dec 2020 16:14:16 +0100 |
wenzelm |
more robust;
|
file |
diff |
annotate
|
| Sat, 28 Nov 2020 15:17:14 +0100 |
wenzelm |
more positions;
|
file |
diff |
annotate
|
| Thu, 26 Nov 2020 17:32:43 +0100 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
| Wed, 18 Nov 2020 15:52:12 +0100 |
wenzelm |
clarified modules;
|
file |
diff |
annotate
|
| Sat, 22 Aug 2020 20:37:31 +0200 |
wenzelm |
clarified names;
|
file |
diff |
annotate
|
| Sat, 22 Aug 2020 20:32:44 +0200 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
| Thu, 02 May 2019 14:31:22 +0200 |
wenzelm |
more bibtex fields;
|
file |
diff |
annotate
|
| Wed, 28 Nov 2018 16:18:40 +0100 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
| Wed, 28 Nov 2018 16:14:31 +0100 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
| Tue, 13 Nov 2018 20:57:54 +0100 |
wenzelm |
more robust;
|
file |
diff |
annotate
|
| Wed, 07 Nov 2018 23:03:45 +0100 |
wenzelm |
tuned;
|
file |
diff |
annotate
|