--- a/Admin/CHECKLIST Sun Nov 28 15:20:51 2010 +0100
+++ b/Admin/CHECKLIST Sun Nov 28 15:21:02 2010 +0100
@@ -1,9 +1,9 @@
Checklist for official releases
===============================
-- test polyml-5.3.0, polyml-5.2.1, polyml-5.2, polyml-5.1, polyml-5.0, smlnj;
+- test polyml-5.4.0, polyml-5.3.0, polyml-5.2.1, smlnj;
-- test Proof General;
+- test Proof General 3.7.1.1, 4.0;
- test Scala wrapper;
@@ -27,6 +27,7 @@
- maintain Logics:
build
+ etc/components
lib/html/library_index_content.template
--- a/Admin/makebin Sun Nov 28 15:20:51 2010 +0100
+++ b/Admin/makebin Sun Nov 28 15:21:02 2010 +0100
@@ -101,7 +101,7 @@
./build -bait
else
./build -b -m HOL-Nominal HOL
- ./build -b HOLCF
+ ./build -b -m HOLCF HOL
./build -b ZF
fi
--- a/NEWS Sun Nov 28 15:20:51 2010 +0100
+++ b/NEWS Sun Nov 28 15:21:02 2010 +0100
@@ -683,7 +683,7 @@
Tracing is then active for all invocations of the simplifier in
subsequent goal refinement steps. Tracing may also still be enabled or
-disabled via the Proof General settings menu.
+disabled via the ProofGeneral settings menu.
* Separate commands 'hide_class', 'hide_type', 'hide_const',
'hide_fact' replace the former 'hide' KIND command. Minor
--- a/etc/components Sun Nov 28 15:20:51 2010 +0100
+++ b/etc/components Sun Nov 28 15:21:02 2010 +0100
@@ -7,7 +7,6 @@
src/CTT
src/Cube
src/FOLP
-src/HOLCF
src/LCF
src/Sequents
#misc components