isabelle: Changelog

wenzelm [Wed, 15 Mar 2017 21:52:04 +0100] rev 65272

always output proof state: there is only one output buffer in Isabelle/VSCode;

wenzelm [Wed, 15 Mar 2017 20:39:23 +0100] rev 65271

updated package;

wenzelm [Wed, 15 Mar 2017 19:46:19 +0100] rev 65270

merged

wenzelm [Wed, 15 Mar 2017 19:39:34 +0100] rev 65269

unused;

wenzelm [Wed, 15 Mar 2017 19:33:34 +0100] rev 65268

misc tuning and modernization;

wenzelm [Wed, 15 Mar 2017 17:24:48 +0100] rev 65267

clarified message;

wenzelm [Wed, 15 Mar 2017 16:58:52 +0100] rev 65266

keep PIDE.plugin for the sake of still open dockables etc. -- jEdit exits these *after* the stop operation;

wenzelm [Wed, 15 Mar 2017 16:55:37 +0100] rev 65265

keep style extender for the sake of potentially remaining token markers;

wenzelm [Wed, 15 Mar 2017 15:50:28 +0100] rev 65264

dynamic session_options for tuning parameters and initial prover options;

wenzelm [Wed, 15 Mar 2017 15:39:15 +0100] rev 65263

strict initialization of plugin.session: no user errors to be expected before session.start;

isabelle