author | wenzelm |
Fri, 12 Aug 2022 12:50:19 +0200 | |
changeset 75816 | 91f02f224b80 |
parent 74429 | fedc0b659881 |
child 77570 | 98b4a9902582 |
permissions | -rw-r--r-- |
/* Title: Tools/jEdit/src/jedit_plugin.scala Author: Makarius Isabelle/jEdit plugins via dynamic Isabelle/Scala/Java modules. */ package isabelle.jedit import isabelle._ class JEdit_Plugin0 extends Scala_Project.Plugin(Path.explode("$ISABELLE_HOME/src/Tools/jEdit/jedit_base")) class JEdit_Plugin1 extends Scala_Project.Plugin(Path.explode("$ISABELLE_HOME/src/Tools/jEdit/jedit_main"))