1.1 --- a/lib/jedit/plugin/isabelle/IsabellePlugin.scala	Sun Aug 24 17:23:42 2008 +0200
     1.2 +++ b/lib/jedit/plugin/isabelle/IsabellePlugin.scala	Sun Aug 24 18:11:20 2008 +0200
     1.3 @@ -5,7 +5,7 @@
     1.4  Isabelle/jEdit plugin -- main setup.
     1.5  */
     1.6  
     1.7 -package isabelle
     1.8 +package isabelle.jedit
     1.9  
    1.10  import org.gjt.sp.jedit.EditPlugin
    1.11  import org.gjt.sp.util.Log