src/Pure/Thy/bibtex.scala
Tue, 13 Nov 2018 20:57:54 +0100 wenzelm more robust;
Wed, 07 Nov 2018 23:03:45 +0100 wenzelm tuned;
Wed, 07 Nov 2018 22:31:56 +0100 wenzelm clarified signature;
Wed, 07 Nov 2018 21:42:16 +0100 wenzelm more general support for Isabelle/PIDE file formats -- less hardwired Bibtex operations;
Sun, 20 May 2018 11:57:17 +0200 wenzelm prefer HTTPS;
Fri, 29 Dec 2017 19:53:43 +0100 wenzelm clarified signature;
Fri, 29 Dec 2017 19:35:26 +0100 wenzelm more accurate message patterns;
Thu, 28 Dec 2017 23:10:30 +0100 wenzelm tuned signature;
Thu, 28 Dec 2017 21:45:28 +0100 wenzelm implicit thy_load context for bibtex files;
Thu, 28 Dec 2017 14:20:48 +0100 wenzelm clarified signature: prefer Document.Node.Name.is_bibtex;
Sun, 24 Dec 2017 14:37:47 +0100 wenzelm clarified positions;
Sun, 24 Dec 2017 14:10:41 +0100 wenzelm check bibtex database on ML side -- for semantic PIDE editing;
Sun, 24 Dec 2017 13:07:05 +0100 wenzelm clarified directories;
less more (0) tip