src/Pure/Tools/bibtex.scala
2017-06-21 wenzelm 2017-06-21 tuned signature;
2017-06-21 wenzelm 2017-06-21 tuned signature;
2017-06-19 wenzelm 2017-06-19 clarified modules;
2017-01-08 wenzelm 2017-01-08 tuned signature;
2017-01-08 wenzelm 2017-01-08 clarified modules;
2017-01-07 wenzelm 2017-01-07 tuned signature;
2015-05-03 wenzelm 2015-05-03 misc tuning, based on warnings by IntelliJ IDEA;
2015-01-08 wenzelm 2015-01-08 tuned;
2014-10-07 wenzelm 2014-10-07 removed pointless regexp flags;
2014-10-06 wenzelm 2014-10-06 more total parser;
2014-10-06 wenzelm 2014-10-06 more accurate item name, depending on kind; tuned;
2014-10-06 wenzelm 2014-10-06 back to liberal spaces of official syntax (in contrast to 4b190c763097), e.g. relevant for easychair.bib;
2014-10-06 wenzelm 2014-10-06 tuned signature;
2014-10-05 wenzelm 2014-10-05 bibtex support in ML: document antiquotation @{cite} with markup;
2014-10-05 wenzelm 2014-10-05 maintain Document_Model.bibtex_entries; clarified Chunk predicates;
2014-10-04 wenzelm 2014-10-04 proper treatment of @comment (amending 402a8e8107a7);
2014-10-04 wenzelm 2014-10-04 more total chunk_line: recovery via ignored_line;
2014-10-04 wenzelm 2014-10-04 more explicit comments;
2014-10-04 wenzelm 2014-10-04 clarified nesting of delimiters; tuned;
2014-10-04 wenzelm 2014-10-04 fields are case-insensitive;
2014-10-04 wenzelm 2014-10-04 clarified nesting of delimiters;
2014-10-04 wenzelm 2014-10-04 more explicit chunk name;
2014-10-04 wenzelm 2014-10-04 clarified Chunk -- avoid ooddities;
2014-10-04 wenzelm 2014-10-04 support for bibtex token markup; more robust ML token marker: no_context; tuned signature;
2014-10-03 wenzelm 2014-10-03 more explicit item kind; clarified recover_delimited: skip to next @; support for line context parsing; tuned signature;
2014-10-03 wenzelm 2014-10-03 strict spaces for item_start: despite actual bibtex syntax, but in accordance to bibtex modes in Emacs and jEdit;
2014-10-03 wenzelm 2014-10-03 SideKick parser for bibtex entries; tuned signature;
2014-10-03 wenzelm 2014-10-03 context menu for bibtex entries;
2014-10-02 wenzelm 2014-10-02 some support for bibtex files;