diff -r 47b1f34ddd09 -r 479dad7b3b41 doc-src/IsarRef/syntax.tex
--- a/doc-src/IsarRef/syntax.tex	Wed Jan 10 17:21:31 2001 +0100
+++ b/doc-src/IsarRef/syntax.tex	Wed Jan 10 20:18:55 2001 +0100
@@ -29,7 +29,7 @@
 ``\texttt{;}'' (semicolon) to separate commands explicitly.  This may be
 particularly useful in interactive shell sessions to make clear where the
 current command is intended to end.  Otherwise, the interactive loop will
-continue until end-of-command in clearly indicated from the input syntax,
+continue until end-of-command is clearly indicated from the input syntax,
 e.g.\ encounter of the next command keyword.
 
 Advanced interfaces such as Proof~General \cite{proofgeneral} do not require