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;
     1 These are the main sources of Isabelle/jEdit, which is a plugin for
     2 the jEdit text-editor, with some minor modifications according to
     3 patches/.
     4 
     5 Original jEdit is available from http://www.jedit.org -- it is
     6 licensed according to GPL, and the derivative version produced in
     7 directory "dist" inherits that.
     8 
     9 Note that Isabelle repository versions refer to a contributed
    10 component called jedit_build-JJJJMMDD, which also includes the full
    11 sources after applying the patches, together with further add-on
    12 modules.