src/Tools/jEdit/README
author wenzelm
Mon Mar 25 17:21:26 2019 +0100 (3 months ago)
changeset 69981 3dced198b9ec
parent 55805 f4e9517657b1
permissions -rw-r--r--
more strict AFP properties;
wenzelm@55805
     1
These are the main sources of Isabelle/jEdit, which is a plugin for
wenzelm@55805
     2
the jEdit text-editor, with some minor modifications according to
wenzelm@55805
     3
patches/.
wenzelm@55805
     4
wenzelm@55805
     5
Original jEdit is available from http://www.jedit.org -- it is
wenzelm@55805
     6
licensed according to GPL, and the derivative version produced in
wenzelm@55805
     7
directory "dist" inherits that.
wenzelm@55805
     8
wenzelm@55805
     9
Note that Isabelle repository versions refer to a contributed
wenzelm@55805
    10
component called jedit_build-JJJJMMDD, which also includes the full
wenzelm@55805
    11
sources after applying the patches, together with further add-on
wenzelm@55805
    12
modules.