1.1 --- a/lib/jedit/plugin/isabelle/IsabelleParser.scala	Sun Aug 24 17:23:42 2008 +0200
     1.2 +++ b/lib/jedit/plugin/isabelle/IsabelleParser.scala	Sun Aug 24 18:11:20 2008 +0200
     1.3 @@ -5,7 +5,7 @@
     1.4  Isabelle parser setup for Sidekick plugin.
     1.5  */
     1.6  
     1.7 -package isabelle
     1.8 +package isabelle.jedit
     1.9  
    1.10  import javax.swing.text.Position
    1.11  import javax.swing.tree.DefaultMutableTreeNode