diff -r 742688bc1b16 -r d0f34f328ffa src/Doc/JEdit/JEdit.thy
--- a/src/Doc/JEdit/JEdit.thy	Fri Jun 06 21:42:50 2014 +0200
+++ b/src/Doc/JEdit/JEdit.thy	Mon Jun 09 11:05:43 2014 +0200
@@ -262,7 +262,7 @@
   take full effect.  *}
 
 
-chapter {* Prover IDE functionality *}
+chapter {* Augmented jEdit functionality *}
 
 section {* File-system access *}
 
@@ -312,11 +312,13 @@
   file in the text editor, independently of the path notation.
 
   Formally checked paths in prover input are subject to completion
-  (\secref{sec:complation}): partial specifications are resolved via actual
+  (\secref{sec:completion}): partial specifications are resolved via actual
   directory content and possible completions are offered in a popup.
 *}
 
 
+chapter {* Prover IDE functionality *}
+
 section {* Text buffers and theories \label{sec:buffers-theories} *}
 
 text {* As regular text editor, jEdit maintains a collection of open