| author | wenzelm |
| Wed, 23 Jul 2025 14:53:21 +0200 | |
| changeset 82898 | 89da4dcd1fa8 |
| parent 73987 | fc363a3b690a |
| permissions | -rw-r--r-- |
|
73987
fc363a3b690a
build.props for isabelle.jar, including isabelle.jedit;
wenzelm
parents:
55805
diff
changeset
|
1 |
These are the sources of Isabelle/jEdit. The main jEdit text-editor is |
|
fc363a3b690a
build.props for isabelle.jar, including isabelle.jedit;
wenzelm
parents:
55805
diff
changeset
|
2 |
provided as a separate component: it includes the full sources after |
|
fc363a3b690a
build.props for isabelle.jar, including isabelle.jedit;
wenzelm
parents:
55805
diff
changeset
|
3 |
applying some minor patches, together with further add-on modules. |