equal
deleted
inserted
replaced
12 - test "isabelle server" according to "system" manual; |
12 - test "isabelle server" according to "system" manual; |
13 |
13 |
14 - test Isabelle/VSCode; |
14 - test Isabelle/VSCode; |
15 |
15 |
16 - test Isabelle/jEdit: print buffer |
16 - test Isabelle/jEdit: print buffer |
|
17 |
|
18 - test Isabelle/jEdit: deactivate main plugin; |
17 |
19 |
18 - test "#!/usr/bin/env isabelle_scala_script"; |
20 - test "#!/usr/bin/env isabelle_scala_script"; |
19 |
21 |
20 - test Windows 10 subsystem for Linux: |
22 - test Windows 10 subsystem for Linux: |
21 https://docs.microsoft.com/en-us/windows/wsl/install-win10 |
23 https://docs.microsoft.com/en-us/windows/wsl/install-win10 |