| author | wenzelm |
| Sat, 09 Mar 2024 16:50:54 +0100 | |
| changeset 79832 | 2a3c0a68221c |
| 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 |