src/Tools/jEdit/src/bibtex_jedit.scala
Thu, 16 Oct 2014 12:09:57 +0200 wenzelm support line context with depth;
Mon, 06 Oct 2014 18:11:16 +0200 wenzelm more defensive error handling -- token marker must not crash;
Mon, 06 Oct 2014 16:54:35 +0200 wenzelm completion for bibtex entries;
Mon, 06 Oct 2014 10:24:51 +0200 wenzelm tuned signature;
Sun, 05 Oct 2014 18:30:43 +0200 wenzelm clarified modules;
Sun, 05 Oct 2014 18:21:39 +0200 wenzelm clarified modules;
Sun, 05 Oct 2014 18:14:26 +0200 wenzelm clarified modules;
Sun, 05 Oct 2014 17:58:36 +0200 wenzelm citation tooltip/hyperlink based on open buffers with .bib files;
less more (0) tip