9 months ago Andreas Lochbihler [Fri, 29 Jun 2018 23:04:36 +0200] rev 68550
merged

9 months ago Andreas Lochbihler [Fri, 29 Jun 2018 22:56:34 +0200] rev 68549
declare case theorems as proper code equations
src/HOL/Library/code_lazy.ML

9 months ago wenzelm [Fri, 29 Jun 2018 22:50:35 +0200] rev 68548
tuned;
CONTRIBUTORS NEWS

9 months ago wenzelm [Fri, 29 Jun 2018 22:14:33 +0200] rev 68547
merged;
CONTRIBUTORS NEWS src/HOL/Fields.thy src/HOL/Rat.thy

9 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

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

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

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

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

9 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