changeset 66457 | 9098c36abd1a |
child 66555 | 39257f39c7da |
--- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/src/Tools/jEdit/src-base/plugin.scala Sun Aug 20 14:03:23 2017 +0200 @@ -0,0 +1,21 @@ +/* Title: Tools/jEdit/src-base/plugin.scala + Author: Makarius + +Isabelle base environment for jEdit. +*/ + +package isabelle.jedit_base + + +import isabelle._ + +import org.gjt.sp.jedit.EBPlugin + + +class Plugin extends EBPlugin +{ + override def start() + { + Isabelle_System.init() + } +}