src/Doc/JEdit/JEdit.thy
17 months ago wenzelm 2017-11-02 support focus_session, for much faster startup of Isabelle/jEdit; more options for "isabelle jedit";
17 months ago wenzelm 2017-11-01 clarified terminology;
17 months ago wenzelm 2017-11-01 added isabelle jedit options -B, -P, clarified -R; misc tuning and clarification;
19 months ago wenzelm 2017-09-21 misc tuning and updates for release;
19 months ago wenzelm 2017-09-21 more on indentation;
19 months ago wenzelm 2017-08-31 reverted 6acb28e5ba41: permissiveness of 1e5ae735e026 should be sufficient;
20 months ago wenzelm 2017-08-20 officially allow restart of Isabelle plugin;
22 months ago wenzelm 2017-06-21 clarified modules;
24 months ago wenzelm 2017-04-24 clarified meaning of "isabelle jedit -R": avoid potential problems with all_known = true;
24 months ago wenzelm 2017-04-21 afford unconditional all_known = true (reverting ea42dfd95ec8), for practical usability of qualified imports from arbitrary sessions;
2017-04-19 wenzelm 2017-04-19 optionally explore all sessions -- potentially slow, e.g. for AFP;
2017-01-08 wenzelm 2017-01-08 more documentation;
2016-12-18 wenzelm 2016-12-18 added isabelle jedit -R; errors in session_info/session_content are ignored and deferred to later checks of Build.build;
2016-12-06 wenzelm 2016-12-06 notes on whitespace;
2016-11-20 wenzelm 2016-11-20 more on "Indentation";
2016-11-20 wenzelm 2016-11-20 more on "Formal scopes and semantic selection";
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;