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.
¤ Die Informationen auf dieser Webseite wurden
nach bestem Wissen sorgfältig zusammengestellt. Es wird jedoch weder Vollständigkeit, noch Richtigkeit,
noch Qualität der bereit gestellten Informationen zugesichert.0.1Bemerkung:
(vorverarbeitet)
¤
*© Formatika GbR, Deutschland
