src/Doc/System/Misc.thy
22 months ago wenzelm 2017-10-03 updated for release;
2016-08-12 wenzelm 2016-08-12 more symbols;
2016-03-10 wenzelm 2016-03-10 isabelle_process is superseded by "isabelle process" tool; tuned tool usage; misc updates and tuning of "system" manual;
2016-03-08 wenzelm 2016-03-08 back to external line editor, due to problems of JLine with multithreading of in vs. out;
2016-03-08 wenzelm 2016-03-08 isabelle console is based on Isabelle/Scala;
2016-03-07 wenzelm 2016-03-07 discontinued cd, pwd;
2016-03-03 wenzelm 2016-03-03 isabelle console -r" helps to bootstrap Isabelle/Pure;
2016-02-28 wenzelm 2016-02-28 removed pointless "isabelle yxml";
2015-12-31 wenzelm 2015-12-31 discontinued documentation of old browser; tuned;
2015-11-13 wenzelm 2015-11-13 more uniform jEdit properties;
2015-11-04 wenzelm 2015-11-04 tuned whitespace;
2015-10-22 wenzelm 2015-10-22 more control symbols; tuned;
2015-10-20 wenzelm 2015-10-20 isabelle update_cartouches -t;
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 @{verbatim [display]} supersedes old alltt/ttbox;
2015-10-12 wenzelm 2015-10-12 more symbols;
2014-10-07 wenzelm 2014-10-07 more cartouches;
2014-06-30 wenzelm 2014-06-30 ProofGeneral-4.2-2 is optional component (including the traditional helper scripts);
2014-06-30 wenzelm 2014-06-30 "isabelle tty" is superseded by "isabelle console";
2014-06-27 wenzelm 2014-06-27 Proof General legacy;
2014-06-27 wenzelm 2014-06-27 removed obsolete "isabelle unsymbolize";
2014-06-16 wenzelm 2014-06-16 clarified role of old user interfaces as misc tools;
2014-04-06 wenzelm 2014-04-06 renamed "isabelle-process" to "isabelle_process", with shell function to avoid dynamic path lookups;
2013-12-09 wenzelm 2013-12-09 more antiquotations;
2013-12-06 wenzelm 2013-12-06 clarified "isabelle display" and 'display_drafts': re-use file and program instance, open asynchronously via desktop environment;
2013-09-06 wenzelm 2013-09-06 tuned;
2013-07-07 wenzelm 2013-07-07 discontinued obsolete "isabelle print";
2013-06-25 wenzelm 2013-06-25 slightly improved "isabelle doc" based on Isabelle/Scala; updated documentation of "isabelle display";
2013-05-17 wenzelm 2013-05-17 discontinued obsolete isabelle usedir, mkdir, make;
2012-12-31 wenzelm 2012-12-31 simplified quick start via "isabelle components -I";
2012-11-20 wenzelm 2012-11-20 simplified command line of "isabelle install";
2012-09-03 wenzelm 2012-09-03 "isabelle logo" produces EPS and PDF format simultaneously; more robust invocation of epstopdf: avoid filter mode;
2012-08-28 wenzelm 2012-08-28 renamed doc-src to src/Doc; renamed TutorialI to Tutorial;