| author | wenzelm |
| Wed, 12 Mar 2025 11:39:00 +0100 | |
| changeset 82265 | 4b875a4c83b0 |
| 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_base/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 base 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_base |
|
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.Base_Plugin |