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.
[Dauer der Verarbeitung: 0.4 Sekunden, vorverarbeitet 2026-06-30]
