| changeset 70302 | 9ea7081c3f03 |
| parent 69558 | 101ee69cba49 |
| child 71733 | 6c470c918aad |
| 70301:9f2a6856b912 | 70302:9ea7081c3f03 |
|---|---|
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} |
|
11 |
12 |
12 import java.io.{File => JFile} |
13 import java.io.{File => JFile} |
13 |
14 |
14 |
15 |
15 object Document_Model |
16 object Document_Model |