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