Admin/Release/CHECKLIST

--- a/Admin/Release/CHECKLIST	Fri Apr 05 20:41:54 2024 +0200
+++ b/Admin/Release/CHECKLIST	Fri Apr 05 21:21:02 2024 +0200
@@ -24,6 +24,9 @@
 
 - test "isabelle java_monitor -P pid" with "isabelle jedit";
 
+- test "isabelle build HOL-Codegenerator_Test" with -new-syntax
+  (see also etc/settings:ISABELLE_SCALAC_OPTIONS);
+
 - test Windows 10 subsystem for Linux:
   https://docs.microsoft.com/en-us/windows/wsl/install-win10