src/Pure/Tools/bibtex.scala
Fri, 22 Dec 2017 16:10:48 +0100 wenzelm proper title;
Fri, 22 Dec 2017 11:39:49 +0100 wenzelm tuned signature;
Thu, 21 Dec 2017 22:56:51 +0100 wenzelm tuned output;
Thu, 21 Dec 2017 22:41:57 +0100 wenzelm isabelle.preview presents bibtex database files as well;
Thu, 21 Dec 2017 16:29:03 +0100 wenzelm bibtex HTML output via external tool;
Thu, 14 Dec 2017 21:09:41 +0100 wenzelm expose bibtex errors;
Mon, 06 Nov 2017 16:03:13 +0100 wenzelm tuned signature;
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;
Sat, 04 Oct 2014 19:26:31 +0200 wenzelm proper treatment of @comment (amending 402a8e8107a7);
Sat, 04 Oct 2014 18:16:24 +0200 wenzelm more total chunk_line: recovery via ignored_line;
Sat, 04 Oct 2014 18:05:30 +0200 wenzelm more explicit comments;
Sat, 04 Oct 2014 17:57:03 +0200 wenzelm clarified nesting of delimiters;
Sat, 04 Oct 2014 16:11:39 +0200 wenzelm fields are case-insensitive;
Sat, 04 Oct 2014 16:02:17 +0200 wenzelm clarified nesting of delimiters;
Sat, 04 Oct 2014 15:34:25 +0200 wenzelm more explicit chunk name;
Sat, 04 Oct 2014 15:11:29 +0200 wenzelm clarified Chunk -- avoid ooddities;
Sat, 04 Oct 2014 12:19:26 +0200 wenzelm support for bibtex token markup;
Fri, 03 Oct 2014 23:33:47 +0200 wenzelm more explicit item kind;
Fri, 03 Oct 2014 20:19:42 +0200 wenzelm strict spaces for item_start: despite actual bibtex syntax, but in accordance to bibtex modes in Emacs and jEdit;
Fri, 03 Oct 2014 14:46:26 +0200 wenzelm SideKick parser for bibtex entries;
Fri, 03 Oct 2014 11:03:37 +0200 wenzelm context menu for bibtex entries;
Thu, 02 Oct 2014 11:54:30 +0200 wenzelm some support for bibtex files;
less more (0) tip