| changeset 71774 | 491f185fd705 |
| parent 70302 | 9ea7081c3f03 |
| 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 |
|
12 |
11 |
13 |
12 |
14 object VSCode_Spell_Checker |
13 object VSCode_Spell_Checker |
15 { |
14 { |
16 def decoration(rendering: VSCode_Rendering): Document_Model.Decoration = |
15 def decoration(rendering: VSCode_Rendering): Document_Model.Decoration = |