src/Tools/jEdit/plugin/Isabelle.props
2009-12-08 wenzelm 2009-12-08 misc modernization of names;
2009-12-07 wenzelm 2009-12-07 misc updates;
2009-09-13 wenzelm 2009-09-13 regular activate=defer -- may debug remotely, no need to run under netbeans;
2009-07-08 immler 2009-07-08 gui element to set current document version
2009-06-25 wenzelm 2009-06-25 simplified option pane: proper logic title, hardwired font path; tuned;
2009-05-23 wenzelm 2009-05-23 recovered iso-latin-1 text;
2009-05-22 immler 2009-05-22 implemented IsabelleHyperlinkSource (only links inside the current buffer)
2009-05-22 immler 2009-05-22 added hyperlink plugin
2009-03-28 immler 2009-03-28 when jEdit is run from Netbeans, activate=defer does not work (why?)
2009-03-23 immler 2009-03-23 merged: resolved conflicts with Markups: ML-syntax styles in styles.props
2009-03-20 wenzelm 2009-03-20 recovered activate=defer, which is the "new" way to invoke jEdit plugins (cf. 3fbb7b565013); proper encoding for JVM property files: iso-latin-1;
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 order of menu items;
2008-12-20 wenzelm 2008-12-20 added author field; adapted isabelle action names; tuned;
2008-12-20 wenzelm 2008-12-20 regular plugin activation via "defer"; enable sidekick for "isabelle" and "ml" mode, not "text"; tuned;
2008-12-20 wenzelm 2008-12-20 renamed IsabellePlugin to Isabelle; tuned properties according to http://isabelle.in.tum.de/repos/isabelle/file/b1c6f4563df7/lib/jedit/plugin/Isabelle.props;