Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
more manual tests;
authorwenzelm
Thu, 05 Jul 2018 23:21:28 +0200
changeset 68591 90381a0f5474
parent 68590 f3c3c1e6133a
child 68595 57b9d993cc98
more manual tests;
Admin/Release/CHECKLIST file | annotate | diff | comparison | revisions 
--- a/Admin/Release/CHECKLIST	Thu Jul 05 23:08:01 2018 +0200
+++ b/Admin/Release/CHECKLIST	Thu Jul 05 23:21:28 2018 +0200
@@ -17,6 +17,9 @@
 
 - test "#!/usr/bin/env isabelle_scala_script";
 
+- test Windows 10 subsystem for Linux:
+  https://docs.microsoft.com/en-us/windows/wsl/install-win10
+
 - check sources:
     isabelle check_sources '~~' '$AFP_BASE'
     isabelle imports -M -a -d '~~/src/Benchmarks'
isabelle