# HG changeset patch
# User wenzelm
# Date 1667689217 -3600
# Node ID 2b19c70c44c2c3dc7f38d2e9b1ccf56513f8ae78
# Parent  18c50ff16bbc31e222cb81380bab438776ce2a6d
more TODO for release;

diff -r 18c50ff16bbc -r 2b19c70c44c2 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";