# HG changeset patch
# User wenzelm
# Date 1403119390 -7200
# Node ID 06d533a24713ea24e05e05d749e270a80b25fb2b
# Parent  8b46b57008eac1c72d90f2ac42eab81c045d78ac
tuned;

diff -r 8b46b57008ea -r 06d533a24713 src/Doc/JEdit/JEdit.thy
--- 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
diff -r 8b46b57008ea -r 06d533a24713 src/Tools/jEdit/lib/Tools/jedit
--- 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