--- a/src/Doc/IsarRef/Outer_Syntax.thy Sat Jan 26 19:53:15 2013 +0100
+++ b/src/Doc/IsarRef/Outer_Syntax.thy Sat Jan 26 20:36:26 2013 +0100
@@ -43,10 +43,9 @@
More advanced interfaces such as Isabelle/jEdit \cite{Wenzel:2012}
and Proof~General \cite{proofgeneral} do not require explicit
- semicolons, the amount of input text is determined automatically by
- inspecting the present content of the Emacs text buffer. In the
- printed presentation of Isabelle/Isar documents semicolons are
- omitted altogether for readability.
+ semicolons: command spans are determined by inspecting the content
+ of the editor buffer. In the printed presentation of Isabelle/Isar
+ documents semicolons are omitted altogether for readability.
\begin{warn}
Proof~General requires certain syntax classification tables in