Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Admin/Release/CHECKLIST
changeset 80150 96f60533ec1d
parent 80088 5afbf04418ec 
--- a/Admin/Release/CHECKLIST	Wed Apr 24 20:56:26 2024 +0100
+++ b/Admin/Release/CHECKLIST	Fri Apr 26 13:25:44 2024 +0200
@@ -27,8 +27,7 @@
 - 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
+- test Windows Subsystem for Linux (e.g. on Windows Server 2022);
 
 - check (non-)executable files:
     $ find . "(" -name "*.thy" -o -name "*.ML" -o -name "*.scala" -o -name ROOT ")" -executable
isabelle