1These are the main sources of Isabelle/jEdit, which is a plugin for
2the jEdit text-editor, with some minor modifications according to
3patches/.
4
5Original jEdit is available from http://www.jedit.org -- it is
6licensed according to GPL, and the derivative version produced in
7directory "dist" inherits that.
8
9Note that Isabelle repository versions refer to a contributed
10component called jedit_build-JJJJMMDD, which also includes the full
11sources after applying the patches, together with further add-on
12modules.
13