# HG changeset patch
# User wenzelm
# Date 1530294795 -7200
# Node ID 8285fa53bfac0648f704c14cc013c8b812ea4590
# Parent  c87e1adb91af9cdb237c0ba846af9401a440f6a0
more manual tests;

diff -r c87e1adb91af -r 8285fa53bfac 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";