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