| changeset 27985 | fb774d10ea4c |
| parent 27659 | e40273830fa6 |
| 27984:b4dd58cff97c | 27985:fb774d10ea4c |
|---|---|
3 Author: Makarius |
3 Author: Makarius |
4 |
4 |
5 Isabelle parser setup for Sidekick plugin. |
5 Isabelle parser setup for Sidekick plugin. |
6 */ |
6 */ |
7 |
7 |
8 package isabelle |
8 package isabelle.jedit |
9 |
9 |
10 import javax.swing.text.Position |
10 import javax.swing.text.Position |
11 import javax.swing.tree.DefaultMutableTreeNode |
11 import javax.swing.tree.DefaultMutableTreeNode |
12 import javax.swing.tree.DefaultTreeModel |
12 import javax.swing.tree.DefaultTreeModel |
13 |
13 |