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