--- 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.