src/Doc/JEdit/JEdit.thy
8 months ago wenzelm 2018-08-06 updated screenshot;
8 months ago wenzelm 2018-08-06 updated documentation;
9 months ago wenzelm 2018-06-29 command-line option for include_sessions;
10 months ago wenzelm 2018-06-20 clarified documentation;
10 months ago wenzelm 2018-06-06 updated for release;
10 months ago wenzelm 2018-06-04 clarified signature; simplified options;
11 months ago wenzelm 2018-05-20 prefer HTTPS;
11 months ago wenzelm 2018-05-02 clarified menu actions;
12 months ago wenzelm 2018-04-26 spelling;
14 months ago wenzelm 2018-01-29 more uniform documentation;
15 months ago nipkow 2018-01-10 ran isabelle update_op on all sources
15 months ago wenzelm 2018-01-09 more accurate spell-checking for nested quotations / antiquotations, notably in formal comments;
15 months ago wenzelm 2017-12-30 more robust treatment of conflicts with existing Unicode text;
16 months ago wenzelm 2017-12-22 action "isabelle.draft" for plain-text preview;
16 months ago wenzelm 2017-12-21 isabelle.preview presents auxiliary text files as well;
17 months ago wenzelm 2017-11-27 updated documentation: JVM is always 64bit;
17 months ago wenzelm 2017-11-02 support alternative ancestor session;
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;
20 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;
2017-04-21 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;