src/Doc/JEdit/JEdit.thy
2016-11-20 wenzelm 2016-11-20 misc tuning and updates;
2016-11-20 wenzelm 2016-11-20 more on JVM heap space;
2016-10-02 wenzelm 2016-10-02 just one option is enough -- "isabelle jedit" java process may be prefixed directly in the shell;
2016-09-14 wenzelm 2016-09-14 discontinued global etc/abbrevs;
2016-09-01 wenzelm 2016-09-01 clarified important directories;
2016-08-12 wenzelm 2016-08-12 more symbols;
2016-08-11 wenzelm 2016-08-11 clarified antiquotations;
2016-04-13 wenzelm 2016-04-13 eliminated "xname" and variants;
2016-04-08 wenzelm 2016-04-08 backout 930a30c1a9af: leads to odd effect of command-line options becoming persistent preferences;
2016-04-08 wenzelm 2016-04-08 option "-o" for "isabelle jedit";
2016-02-05 wenzelm 2016-02-05 more on Mac OS X with Retina display;
2016-01-31 wenzelm 2016-01-31 more on "ML debugging within the Prover IDE";
2016-01-29 wenzelm 2016-01-29 misc tuning and updates;
2016-01-29 wenzelm 2016-01-29 misc tuning and updates;
2016-01-29 wenzelm 2016-01-29 misc tuning;
2016-01-20 wenzelm 2016-01-20 clarified -- this is available on Mac OS X, too;
2016-01-15 wenzelm 2016-01-15 misc updates and tuning; more on "Output" versus "Proof state";
2016-01-15 wenzelm 2016-01-15 misc updates and tuning;
2016-01-15 wenzelm 2016-01-15 misc updates and tuning;
2016-01-12 wenzelm 2016-01-12 updated old screenshots, added new screenshots;
2016-01-02 wenzelm 2016-01-02 clarified isabelle jedit command-line;
2016-01-02 wenzelm 2016-01-02 provide server name uniformly on all platforms;
2015-12-31 wenzelm 2015-12-31 documentation for "isabelle jedit_client";
2015-12-29 wenzelm 2015-12-29 support additional abbrevs;
2015-11-13 wenzelm 2015-11-13 more uniform jEdit properties;
2015-11-04 wenzelm 2015-11-04 tuned whitespace;
2015-11-04 wenzelm 2015-11-04 updated;
2015-11-04 wenzelm 2015-11-04 more antiquotations;
2015-10-31 wenzelm 2015-10-31 back to traditional Metal as default, and thus evade current problems with Nimbus scrollbar slider;
2015-10-27 wenzelm 2015-10-27 workaround for problem with C-1, C-2, C-3 seen on Slovak QWERTY keyboard;
2015-10-24 wenzelm 2015-10-24 more uniform command-line for "isabelle jedit" and the isabelle.Main app wrapper;
2015-10-22 wenzelm 2015-10-22 tuned;
2015-10-22 wenzelm 2015-10-22 tuned;
2015-10-22 wenzelm 2015-10-22 more control symbols; tuned;
2015-10-20 wenzelm 2015-10-20 isabelle update_cartouches -t;
2015-10-19 wenzelm 2015-10-19 added action "isabelle-emph"; changed shortcut of action "isabelle-reset";
2015-10-18 wenzelm 2015-10-18 more control symbols;
2015-10-16 wenzelm 2015-10-16 Markdown support in document text;
2015-10-14 wenzelm 2015-10-14 more symbols;
2015-10-12 wenzelm 2015-10-12 more symbols;
2015-10-12 wenzelm 2015-10-12 @{verbatim [display]} supersedes old alltt/ttbox;
2015-09-19 wenzelm 2015-09-19 obsolete;
2015-09-08 wenzelm 2015-09-08 clarified JEDIT_JAVA_SYSTEM_OPTIONS;
2015-05-22 wenzelm 2015-05-22 tuned;
2015-05-21 wenzelm 2015-05-21 tuned;
2015-05-19 wenzelm 2015-05-19 more on displays with very high resolution;
2015-05-06 wenzelm 2015-05-06 tuned;
2015-05-05 wenzelm 2015-05-05 more documentation;
2015-05-04 wenzelm 2015-05-04 tuned;
2015-05-04 wenzelm 2015-05-04 more on GTK;
2015-05-04 wenzelm 2015-05-04 more on Isabelle document preparation and bibtex files;
2014-10-07 wenzelm 2014-10-07 more cartouches;
2014-10-05 wenzelm 2014-10-05 more refs;
2014-10-05 wenzelm 2014-10-05 prefer @{cite} antiquotation;
2014-08-08 wenzelm 2014-08-08 improved monitor panel;
2014-07-31 wenzelm 2014-07-31 completion popup supports both ENTER and TAB (default);
2014-07-28 wenzelm 2014-07-28 some actual workaround to remove document nodes;
2014-07-23 wenzelm 2014-07-23 added action "isabelle.options" (despite problems with initial window size);
2014-07-22 wenzelm 2014-07-22 more default imports;
2014-07-21 wenzelm 2014-07-21 always complete explicit symbols;