X-Git-Url: https://git.distorted.org.uk/~mdw/sod/blobdiff_plain/a75cd932464ce21ab46e9eaec83e4b1359649bc6..cf1b6646c06138e3103c9b561b58d9198c04c337:/doc/parsing.tex

diff --git a/doc/parsing.tex b/doc/parsing.tex
index 0d9bf04..65eefb1 100644
--- a/doc/parsing.tex
+++ b/doc/parsing.tex
@@ -381,7 +381,7 @@ Character scanners are scanners which read sequences of characters.
 \end{describe}
 
 \begin{describe}{gf}{scanner-unread @<scanner> @<character>}
-  Rewind the @<scanner> by one step.  The @<chararacter> must be the previous
+  Rewind the @<scanner> by one step.  The @<character> must be the previous
   current character, and becomes the current character again.  It is an error
   if: the @<scanner> has reached end-of-file; the @<scanner> has never been
   stepped; or @<character> was not the previous current character.
@@ -819,15 +819,6 @@ file-location protocols.
 
 \subsection{Expression parsing} \label{sec:parsing.syntax.expression}
 
-\begin{describe}{gf}{push-operator @<operator> @<state>}
-\end{describe}
-
-\begin{describe}{gf}{push-value @<value> @<state>}
-\end{describe}
-
-\begin{describe}{gf}{apply-operator @<operator> @<state>}
-\end{describe}
-
 \begin{describe}{gf}{operator-push-action @<left> @<right>}
 \end{describe}
 
