src/Tools/jEdit/jedit_main/plugin.scala
author haftmann
Thu, 24 Jul 2025 17:46:29 +0200
changeset 82902 99a720d3ed8f
parent 73987 fc363a3b690a
permissions -rw-r--r--
clarified code setup
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
73987
fc363a3b690a build.props for isabelle.jar, including isabelle.jedit;
wenzelm
parents:
diff changeset
     1
/*  Title:      Tools/jEdit/jedit_main/plugin.scala
fc363a3b690a build.props for isabelle.jar, including isabelle.jedit;
wenzelm
parents:
diff changeset
     2
    Author:     Makarius
fc363a3b690a build.props for isabelle.jar, including isabelle.jedit;
wenzelm
parents:
diff changeset
     3
fc363a3b690a build.props for isabelle.jar, including isabelle.jedit;
wenzelm
parents:
diff changeset
     4
Isabelle/jEdit main plugin.
fc363a3b690a build.props for isabelle.jar, including isabelle.jedit;
wenzelm
parents:
diff changeset
     5
*/
fc363a3b690a build.props for isabelle.jar, including isabelle.jedit;
wenzelm
parents:
diff changeset
     6
fc363a3b690a build.props for isabelle.jar, including isabelle.jedit;
wenzelm
parents:
diff changeset
     7
package isabelle.jedit_main
fc363a3b690a build.props for isabelle.jar, including isabelle.jedit;
wenzelm
parents:
diff changeset
     8
fc363a3b690a build.props for isabelle.jar, including isabelle.jedit;
wenzelm
parents:
diff changeset
     9
class Plugin extends isabelle.jedit.Main_Plugin