12 months ago wenzelm [Fri, 29 Jun 2018 20:32:24 +0200] rev 68546
VSCode extension for official Isabelle release;
src/Tools/VSCode/extension/README.md src/Tools/VSCode/extension/package.json

12 months ago wenzelm [Fri, 29 Jun 2018 20:11:17 +0200] rev 68545
misc tuning and updates for release;
ANNOUNCE CONTRIBUTORS NEWS

12 months ago wenzelm [Fri, 29 Jun 2018 19:53:15 +0200] rev 68544
more manual tests;
Admin/Release/CHECKLIST

12 months ago wenzelm [Fri, 29 Jun 2018 19:50:03 +0200] rev 68543
misc tuning for release;
NEWS

12 months ago wenzelm [Fri, 29 Jun 2018 16:53:37 +0200] rev 68542
clarified error;
src/Pure/Thy/sessions.scala

12 months ago wenzelm [Fri, 29 Jun 2018 16:45:54 +0200] rev 68541
command-line option for include_sessions;
NEWS src/Doc/JEdit/JEdit.thy src/Doc/System/Environment.thy src/Pure/ML/ml_console.scala src/Tools/jEdit/lib/Tools/jedit src/Tools/jEdit/src/jedit_sessions.scala

12 months ago wenzelm [Fri, 29 Jun 2018 15:54:41 +0200] rev 68540
disallow pending hyps;
disallow pending shyps, with option to override the check;
tuned message;
NEWS src/Doc/Implementation/Logic.thy src/Pure/Isar/attrib.ML src/Pure/global_theory.ML

12 months ago wenzelm [Fri, 29 Jun 2018 14:19:52 +0200] rev 68539
disallow hyps in export;
handle extra shyps as explicit sort constraints;
src/Pure/Thy/export_theory.ML src/Pure/drule.ML

12 months ago wenzelm [Fri, 29 Jun 2018 14:02:14 +0200] rev 68538
always consolidate: allow errors in presentation;
src/Pure/PIDE/document.ML

12 months ago wenzelm [Fri, 29 Jun 2018 11:36:31 +0200] rev 68537
proper build_heap;
src/Pure/Tools/dump.scala