src/Tools/jEdit/dist-template/properties/jedit.props
2009-12-08 wenzelm 2009-12-08 misc modernization of names;
2009-12-07 wenzelm 2009-12-07 use IsabelleText by default;
2009-09-13 wenzelm 2009-09-13 avoid fractional font metrics, which produces bad antialiasing with reletively new versions of jedit and java;
2009-09-03 wenzelm 2009-09-03 sorted;
2009-08-27 immler 2009-08-27 added shortcut
2009-07-08 immler 2009-07-08 gui element to set current document version
2009-06-26 wenzelm 2009-06-26 opt-out obscure encodings;
2009-06-26 wenzelm 2009-06-26 renamed UTF-8-isabelle to UTF-8-Isabelle;
2009-06-25 wenzelm 2009-06-25 added IsabelleEncoding -- a clone of utf-8 for now;
2009-06-23 wenzelm 2009-06-23 default sidekick.complete-delay;
2009-04-27 immler 2009-04-27 seperate node for syntax-highlighting
2009-02-01 immler 2009-02-01 modified netbeans build such that dist can be used as settings-directory for jedit; adapted explicit makedist
2008-12-20 wenzelm 2008-12-20 tuned sidekick properties;
2008-12-20 wenzelm 2008-12-20 default docking of sidekick and isabelle-state;
2008-10-21 wenzelm 2008-10-21 essential default properties for jEdit;