src/Pure/Tools/bibtex.ML
Sun, 05 Oct 2014 17:58:36 +0200 wenzelm citation tooltip/hyperlink based on open buffers with .bib files;
Sun, 05 Oct 2014 16:05:17 +0200 wenzelm bibtex support in ML: document antiquotation @{cite} with markup;
less more (0) tip