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 |