|
55805
|
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.
|