changeset 36015 | 6111de7c916a |
parent 34871 | e596a0b71f3c |
child 36760 | b82a698ef6c9 |
--- a/src/Tools/jEdit/src/jedit/plugin.scala Tue Mar 30 00:12:42 2010 +0200 +++ b/src/Tools/jEdit/src/jedit/plugin.scala Tue Mar 30 00:13:27 2010 +0200 @@ -9,6 +9,8 @@ package isabelle.jedit +import isabelle._ + import java.io.{FileInputStream, IOException} import java.awt.Font import javax.swing.JTextArea