1.1 --- /dev/null	Thu Jan 01 00:00:00 1970 +0000
     1.2 +++ b/src/Tools/jEdit/README	Fri Feb 28 15:20:18 2014 +0100
     1.3 @@ -0,0 +1,12 @@
     1.4 +These are the main sources of Isabelle/jEdit, which is a plugin for
     1.5 +the jEdit text-editor, with some minor modifications according to
     1.6 +patches/.
     1.7 +
     1.8 +Original jEdit is available from http://www.jedit.org -- it is
     1.9 +licensed according to GPL, and the derivative version produced in
    1.10 +directory "dist" inherits that.
    1.11 +
    1.12 +Note that Isabelle repository versions refer to a contributed
    1.13 +component called jedit_build-JJJJMMDD, which also includes the full
    1.14 +sources after applying the patches, together with further add-on
    1.15 +modules.