| author | haftmann |
| Sun, 27 Jul 2025 17:52:06 +0200 | |
| changeset 82909 | e4fae2227594 |
| 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 |