Quelle  README   Sprache: unbekannt

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.15 Sekunden  (vorverarbeitet)  ]