# HG changeset patch
# User wenzelm
# Date 1393597218 -3600
# Node ID f4e9517657b124c7937dbd8b265dc0a1c69183d1
# Parent  341fbb9bdda1286fa27ff0be19797b0e7ac76b7e
recovered minimal README from 30de372ca56f;

diff -r 341fbb9bdda1 -r f4e9517657b1 src/Tools/jEdit/README
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/src/Tools/jEdit/README	Fri Feb 28 15:20:18 2014 +0100
@@ -0,0 +1,12 @@
+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.