products/sources/formale Sprachen/Isabelle/Tools/jEdit/  image not shown  

Quellcode-Bibliothek

© Kompilation durch diese Firma

[Weder Korrektheit noch Funktionsfähigkeit der Software werden zugesichert.]

Datei: README   Sprache: Unknown

These are the main sources of Isabelle/jEdit, which is a plugin for
the jEdit text-editor, with some minor modifications according to
patches/.

Original jEdit is available from http://www.jedit.org -- it is
licensed according to GPL, and the derivative version produced in
directory "dist" inherits that.

Note that Isabelle repository versions refer to a contributed
component called jedit_build-JJJJMMDD, which also includes the full
sources after applying the patches, together with further add-on
modules.

[ Dauer der Verarbeitung: 0.13 Sekunden  (vorverarbeitet)  ]