Admin/Release/CHECKLIST

--- a/Admin/Release/CHECKLIST	Sat Nov 05 23:42:07 2022 +0100
+++ b/Admin/Release/CHECKLIST	Sun Nov 06 00:00:17 2022 +0100
@@ -3,6 +3,9 @@
 
 - check latest updates of polyml, jdk, scala, jedit;
 
+- check isabelle.Dotnet_Setup.default_version:
+    $ isabelle dotnet_setup -n -v -V "" | grep invocation
+
 - check Admin/components;
 
 - test "isabelle dump -b Pure ZF";