isabelle: src/Tools/jEdit/README@1ffd7eaa778b (annotated)

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

author	wenzelm
	Sat, 05 Apr 2014 15:03:40 +0200
changeset 56421	1ffd7eaa778b
parent 55805	f4e9517657b1
child 73987	fc363a3b690a
permissions	-rw-r--r--