src/Pure/Tools/bibtex.ML
Sun, 05 Oct 2014 22:18:40 +0200 wenzelm more explicit syntax, to avoid misunderstanding of foo-bar as 3 separate arguments;
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