tuned;
authorwenzelm
Sat Jan 26 20:36:26 2013 +0100 (2013-01-26)
changeset 51062d5fd24f73555
parent 51061 1f184f8ec10b
child 51063 3544f5eb1ee6
child 51064 9c425ed4a52c
tuned;
src/Doc/IsarRef/Outer_Syntax.thy
     1.1 --- a/src/Doc/IsarRef/Outer_Syntax.thy	Sat Jan 26 19:53:15 2013 +0100
     1.2 +++ b/src/Doc/IsarRef/Outer_Syntax.thy	Sat Jan 26 20:36:26 2013 +0100
     1.3 @@ -43,10 +43,9 @@
     1.4  
     1.5    More advanced interfaces such as Isabelle/jEdit \cite{Wenzel:2012}
     1.6    and Proof~General \cite{proofgeneral} do not require explicit
     1.7 -  semicolons, the amount of input text is determined automatically by
     1.8 -  inspecting the present content of the Emacs text buffer.  In the
     1.9 -  printed presentation of Isabelle/Isar documents semicolons are
    1.10 -  omitted altogether for readability.
    1.11 +  semicolons: command spans are determined by inspecting the content
    1.12 +  of the editor buffer.  In the printed presentation of Isabelle/Isar
    1.13 +  documents semicolons are omitted altogether for readability.
    1.14  
    1.15    \begin{warn}
    1.16      Proof~General requires certain syntax classification tables in