# HG changeset patch
# User wenzelm
# Date 1359228986 -3600
# Node ID d5fd24f735551b0d34b1df4b114608d3290e9f7d
# Parent  1f184f8ec10bb1b253d99d8b9a4e409cb188e608
tuned;

diff -r 1f184f8ec10b -r d5fd24f73555 src/Doc/IsarRef/Outer_Syntax.thy
--- 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