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.
