updated for release;
authorwenzelm
Mon, 10 Feb 2020 22:33:03 +0100
changeset 71643 508b4f6431ae
parent 71642 7736b754b37f
child 71644 e06ece7a408f
updated for release;
Admin/Release/CHECKLIST
CONTRIBUTORS
COPYRIGHT
--- a/Admin/Release/CHECKLIST	Mon Feb 10 22:32:29 2020 +0100
+++ b/Admin/Release/CHECKLIST	Mon Feb 10 22:33:03 2020 +0100
@@ -5,7 +5,7 @@
 
 - check Admin/components;
 
-- test "isabelle dump -l Pure ZF";
+- test "isabelle dump -b Pure ZF";
 
 - test "isabelle build -o export_theory -f ZF";
 
@@ -26,7 +26,6 @@
 
 - check sources:
     isabelle check_sources '~~' '$AFP_BASE'
-    isabelle imports -M -a -d '~~/src/Benchmarks'
 
 - check ANNOUNCE, README, NEWS, COPYRIGHT, CONTRIBUTORS;
 
@@ -56,7 +55,7 @@
 
 - Phabricator:
     . src/Doc/System/Phabricator.thy: check/update underlying Ubuntu version
-    . src/Pure/Tools/phabricator.scala: check/update hardwired repository versions;
+    . etc/options: check/update phabricator_version entries;
 
 
 Repository fork
--- a/CONTRIBUTORS	Mon Feb 10 22:32:29 2020 +0100
+++ b/CONTRIBUTORS	Mon Feb 10 22:33:03 2020 +0100
@@ -3,8 +3,11 @@
 listed as an author in one of the source files of this Isabelle distribution.
 
 
-Contributions to this Isabelle version
---------------------------------------
+Contributions to this Isabelle2020
+----------------------------------
+
+* 2019: Makarius Wenzel
+  More scalable Isabelle dump and underlying headless PIDE session.
 
 * December 2019:
   Basil Fürer, Andreas Lochbihler, Joshua Schneider, Dmitriy Traytel
@@ -13,6 +16,7 @@
 * October 2019: Maximilian Schäffeler
   Port of the HOL Light decision procedure for metric spaces.
 
+
 Contributions to Isabelle2019
 -----------------------------
 
--- a/COPYRIGHT	Mon Feb 10 22:32:29 2020 +0100
+++ b/COPYRIGHT	Mon Feb 10 22:33:03 2020 +0100
@@ -1,6 +1,6 @@
 ISABELLE COPYRIGHT NOTICE, LICENCE AND DISCLAIMER.
 
-Copyright (c) 1986-2019,
+Copyright (c) 1986-2020,
   University of Cambridge,
   Technische Universitaet Muenchen,
   and contributors.