These are the sources of Isabelle/jEdit. The main jEdit text-editor is provided as a separate component: it includes the full sources after applying some minor patches, together with further add-on modules.