author | haftmann |
Thu, 24 Jul 2025 17:46:29 +0200 | |
changeset 82902 | 99a720d3ed8f |
parent 73987 | fc363a3b690a |
permissions | -rw-r--r-- |
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 |