src/Doc/JEdit/JEdit.thy
changeset 54639 5adc68deb322
parent 54638 46adb57c89db
child 54643 57aefb80b639
--- a/src/Doc/JEdit/JEdit.thy	Wed Nov 20 22:15:53 2013 +0100
+++ b/src/Doc/JEdit/JEdit.thy	Wed Nov 20 23:00:18 2013 +0100
@@ -477,7 +477,7 @@
   \medskip A black rectangle in the text indicates a hyperlink that
   may be followed by a mouse click (while the @{verbatim CONTROL} or
   @{verbatim COMMAND} modifier key is still pressed). Presently
-  (Isabelle2013-1) there is no systematic navigation within the
+  (Isabelle2013-2) there is no systematic navigation within the
   editor to return to the original location.
 
   Also note that the link target may be a file that is itself not
@@ -1109,7 +1109,7 @@
 
   \textbf{Workaround:} Do not use input methods, reset the environment
   variable @{verbatim XMODIFIERS} within Isabelle settings (default in
-  Isabelle2013-1).
+  Isabelle2013-2).
 
   \item \textbf{Problem:} Some Linux / X11 window managers that are
   not ``re-parenting'' cause problems with additional windows opened