src/Pure/Tools/bibtex.ML
2014-10-05 wenzelm 2014-10-05 more explicit syntax, to avoid misunderstanding of foo-bar as 3 separate arguments;
2014-10-05 wenzelm 2014-10-05 citation tooltip/hyperlink based on open buffers with .bib files;
2014-10-05 wenzelm 2014-10-05 bibtex support in ML: document antiquotation @{cite} with markup;