| changeset 74001 | 118057a1093b |
| parent 73987 | fc363a3b690a |
| child 74426 | 61a6fd4f9862 |
--- a/Admin/Release/CHECKLIST Thu Jul 15 22:09:45 2021 +0200 +++ b/Admin/Release/CHECKLIST Thu Jul 15 22:14:11 2021 +0200 @@ -15,6 +15,8 @@ - test Isabelle/jEdit: print buffer +- test Isabelle/jEdit: deactivate main plugin; + - test "#!/usr/bin/env isabelle_scala_script"; - test Windows 10 subsystem for Linux: