| changeset 71774 | 491f185fd705 |
| parent 70302 | 9ea7081c3f03 |
| 71773:7c2f4dd48fb6 | 71774:491f185fd705 |
|---|---|
7 |
7 |
8 package isabelle.vscode |
8 package isabelle.vscode |
9 |
9 |
10 |
10 |
11 import isabelle._ |
11 import isabelle._ |
12 import isabelle.vscode.Server |
|
13 |
12 |
14 import java.io.{File => JFile} |
13 import java.io.{File => JFile} |
15 |
14 |
16 |
15 |
17 object Protocol |
16 object Protocol |