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