src/Pure/Tools/bibtex.ML
2017-02-17 wenzelm 2017-02-17 updated to polyml-5.7 pre-release from repository;
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;