| changeset 75410 | 832f764093e1 |
| parent 75186 | 84532574c209 |
| child 76105 | 7ce11c135dad |
--- a/Admin/Release/CHECKLIST Wed Apr 06 12:11:30 2022 +0200 +++ b/Admin/Release/CHECKLIST Wed Apr 06 12:13:35 2022 +0200 @@ -19,6 +19,8 @@ - test "#!/usr/bin/env isabelle_scala_script"; +- test "isabelle java_monitor -P pid" with "isabelle jedit"; + - test Windows 10 subsystem for Linux: https://docs.microsoft.com/en-us/windows/wsl/install-win10