equal
deleted
inserted
replaced
11 import javax.swing.text.Position |
11 import javax.swing.text.Position |
12 import javax.swing.tree.DefaultMutableTreeNode |
12 import javax.swing.tree.DefaultMutableTreeNode |
13 |
13 |
14 import isabelle.proofdocument.Token |
14 import isabelle.proofdocument.Token |
15 import isabelle.jedit.{Isabelle, Plugin} |
15 import isabelle.jedit.{Isabelle, Plugin} |
16 import isabelle.{YXML, XML} |
16 import isabelle.XML |
17 |
17 |
18 import sidekick.{SideKickParsedData, IAsset} |
18 import sidekick.{SideKickParsedData, IAsset} |
19 |
19 |
20 |
20 |
21 object Command { |
21 object Command { |