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