changeset 27985 | fb774d10ea4c |
parent 27966 | 825286a7a3a4 |
--- a/lib/jedit/plugin/isabelle/IsabelleDock.scala Sun Aug 24 17:23:42 2008 +0200 +++ b/lib/jedit/plugin/isabelle/IsabelleDock.scala Sun Aug 24 18:11:20 2008 +0200 @@ -5,7 +5,7 @@ Dockable window for Isabelle process control. */ -package isabelle +package isabelle.jedit import org.gjt.sp.jedit.View import org.gjt.sp.jedit.gui.DefaultFocusComponent