Admin/Release/CHECKLIST

--- a/Admin/Release/CHECKLIST	Fri Jun 29 19:50:03 2018 +0200
+++ b/Admin/Release/CHECKLIST	Fri Jun 29 19:53:15 2018 +0200
@@ -5,6 +5,14 @@
 
 - check Admin/components;
 
+- test "isabelle dump -l Pure ZF";
+
+- test "isabelle -o export_theory -f ZF";
+
+- test "isabelle server" according to "system" manual;
+
+- test Isabelle/VSCode;
+
 - test Isabelle/jEdit: print buffer
 
 - test "#!/usr/bin/env isabelle_scala_script";