src/Pure/Tools/bibtex.scala
Wed, 21 Jun 2017 14:56:44 +0200 wenzelm tuned signature;
Wed, 21 Jun 2017 14:06:16 +0200 wenzelm tuned signature;
Mon, 19 Jun 2017 20:44:48 +0200 wenzelm clarified modules;
Sun, 08 Jan 2017 12:31:45 +0100 wenzelm tuned signature;
Sun, 08 Jan 2017 10:56:33 +0100 wenzelm clarified modules;
Sat, 07 Jan 2017 20:01:05 +0100 wenzelm tuned signature;
Sun, 03 May 2015 00:01:10 +0200 wenzelm misc tuning, based on warnings by IntelliJ IDEA;
Thu, 08 Jan 2015 20:56:39 +0100 wenzelm tuned;
Tue, 07 Oct 2014 11:44:25 +0200 wenzelm removed pointless regexp flags;
Mon, 06 Oct 2014 18:17:44 +0200 wenzelm more total parser;
Mon, 06 Oct 2014 14:21:38 +0200 wenzelm more accurate item name, depending on kind;
Mon, 06 Oct 2014 11:44:16 +0200 wenzelm back to liberal spaces of official syntax (in contrast to 4b190c763097), e.g. relevant for easychair.bib;
Mon, 06 Oct 2014 10:24:51 +0200 wenzelm tuned signature;
Sun, 05 Oct 2014 16:05:17 +0200 wenzelm bibtex support in ML: document antiquotation @{cite} with markup;
Sun, 05 Oct 2014 15:05:26 +0200 wenzelm maintain Document_Model.bibtex_entries;
less more (0) -15 tip