--- a/src/Doc/JEdit/JEdit.thy Wed Jun 18 21:17:48 2014 +0200
+++ b/src/Doc/JEdit/JEdit.thy Wed Jun 18 21:23:10 2014 +0200
@@ -112,12 +112,12 @@
text {*
The \emph{Documentation} panel of Isabelle/jEdit provides access to the
standard Isabelle documentation: PDF files are opened by regular desktop
- operations of the underlying platform. The section ``jEdit Documentation''
- contains the original \emph{User's Guide} of this sophisticated text editor.
- The same is accessible via the @{verbatim Help} menu or @{verbatim F1}
- keyboard shortcut, using the built-in HTML viewer of Java/Swing. The latter
- also includes \emph{Frequently Asked Questions} and documentation of
- individual plugins.
+ operations of the underlying platform. The section ``Original jEdit
+ Documentation'' contains the original \emph{User's Guide} of this
+ sophisticated text editor. The same is accessible via the @{verbatim Help}
+ menu or @{verbatim F1} keyboard shortcut, using the built-in HTML viewer of
+ Java/Swing. The latter also includes \emph{Frequently Asked Questions} and
+ documentation of individual plugins.
Most of the information about generic jEdit is relevant for Isabelle/jEdit
as well, but one needs to keep in mind that defaults sometimes differ, and
--- a/src/Tools/jEdit/lib/Tools/jedit Wed Jun 18 21:17:48 2014 +0200
+++ b/src/Tools/jEdit/lib/Tools/jedit Wed Jun 18 21:23:10 2014 +0200
@@ -327,7 +327,7 @@
cp "$ISABELLE_JEDIT_BUILD_HOME/doc/jedit5.1.0manual-a4.pdf" dist/doc/jedit-manual.pdf
cp dist/doc/CHANGES.txt dist/doc/jedit-changes
cat > dist/doc/Contents <<EOF
-jEdit Documentation
+Original jEdit Documentation
jedit-manual jEdit 5.1 User's Guide
jedit-changes jEdit 5.1 Version History