changeset 71774 | 491f185fd705 |
parent 71383 | 8313dca6dee9 |
child 72761 | 4519eeefe3b5 |
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 |
12 |
14 object Dynamic_Output |
13 object Dynamic_Output |
15 { |
14 { |
16 sealed case class State(do_update: Boolean = true, output: List[XML.Tree] = Nil) |
15 sealed case class State(do_update: Boolean = true, output: List[XML.Tree] = Nil) |