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