# HG changeset patch
# User wenzelm
# Date 1530825688 -7200
# Node ID 90381a0f54740c5e1417a3ca2f5b2777984f0315
# Parent  f3c3c1e6133a36f320f13a05b245c56d0560392a
more manual tests;

diff -r f3c3c1e6133a -r 90381a0f5474 Admin/Release/CHECKLIST
--- 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'