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
|
Wed, 07 Nov 2018 22:31:56 +0100 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
Wed, 07 Nov 2018 21:42:16 +0100 |
wenzelm |
more general support for Isabelle/PIDE file formats -- less hardwired Bibtex operations;
|
file |
diff |
annotate
|
Sun, 20 May 2018 11:57:17 +0200 |
wenzelm |
prefer HTTPS;
|
file |
diff |
annotate
|
Fri, 29 Dec 2017 19:53:43 +0100 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
Fri, 29 Dec 2017 19:35:26 +0100 |
wenzelm |
more accurate message patterns;
|
file |
diff |
annotate
|
Thu, 28 Dec 2017 23:10:30 +0100 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
Thu, 28 Dec 2017 21:45:28 +0100 |
wenzelm |
implicit thy_load context for bibtex files;
|
file |
diff |
annotate
|
Thu, 28 Dec 2017 14:20:48 +0100 |
wenzelm |
clarified signature: prefer Document.Node.Name.is_bibtex;
|
file |
diff |
annotate
|
Sun, 24 Dec 2017 14:37:47 +0100 |
wenzelm |
clarified positions;
|
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
|