src/Tools/jEdit/src/bibtex_jedit.scala
2017-01-08 wenzelm 2017-01-08 tuned signature;
2017-01-08 wenzelm 2017-01-08 refer to bibtex entries via general Document_Model, instead of editor buffers;
2017-01-08 wenzelm 2017-01-08 clarified modules;
2017-01-07 wenzelm 2017-01-07 separate Buffer_Model vs. File_Model; misc tuning and clarification;
2017-01-06 wenzelm 2017-01-06 manage buffer models as explicit global state; tuned signature;
2016-12-20 wenzelm 2016-12-20 clarified module name;
2016-01-09 wenzelm 2016-01-09 tuned -- according to ML version;
2015-09-03 wenzelm 2015-09-03 clean name as in ML Completion.make;
2015-09-03 wenzelm 2015-09-03 use alphabetic order before history order;
2015-05-03 wenzelm 2015-05-03 misc tuning, based on warnings by IntelliJ IDEA;
2015-01-08 wenzelm 2015-01-08 tuned;
2014-11-29 wenzelm 2014-11-29 proper HTML.encode;
2014-10-21 wenzelm 2014-10-21 tuned rendering;
2014-10-18 wenzelm 2014-10-18 tuned signature;
2014-10-18 wenzelm 2014-10-18 tuned signature;
2014-10-18 wenzelm 2014-10-18 tuned signature;
2014-10-16 wenzelm 2014-10-16 more explicit Line_Nesting;
2014-10-16 wenzelm 2014-10-16 support line context with depth; basic setup for "isabelle" fold handling; misc tuning;
2014-10-06 wenzelm 2014-10-06 more defensive error handling -- token marker must not crash;
2014-10-06 wenzelm 2014-10-06 completion for bibtex entries;
2014-10-06 wenzelm 2014-10-06 tuned signature;
2014-10-05 wenzelm 2014-10-05 clarified modules;
2014-10-05 wenzelm 2014-10-05 clarified modules;
2014-10-05 wenzelm 2014-10-05 clarified modules;
2014-10-05 wenzelm 2014-10-05 citation tooltip/hyperlink based on open buffers with .bib files;