X-Git-Url: https://git.distorted.org.uk/~mdw/sod/blobdiff_plain/020b9e2b4364c61a668d47c4c5405295349817d8..a47b5b286ee7c98c16b4023e5d6954cfdd9faa88:/doc/misc.tex

diff --git a/doc/misc.tex b/doc/misc.tex
index 5bf3e18..87ddf4d 100644
--- a/doc/misc.tex
+++ b/doc/misc.tex
@@ -76,6 +76,9 @@ These symbols are defined in the @|sod-utilities| package.
 \begin{describe}{mac}{aif @<condition> @<consequent> @[@<alt>@]}
 \end{describe}
 
+\begin{describe}{mac}{aand @<form>^*}
+\end{describe}
+
 \begin{describe}{mac}{awhen @<condition> @<form>^*}
 \end{describe}
 
@@ -143,7 +146,7 @@ These symbols are defined in the @|sod-utilities| package.
                                                                 \\ \ind\ind
         (@{ (@<cat-var> @<cat-predicate>) @}^*)               \-\\
       @<declaration>^*                                          \\
-      @<body-form>^*
+      @<form>^*
      \-\nlret @<value>^*}
 \end{describe}
 
@@ -520,6 +523,11 @@ These symbols are defined in the @!optparse| package.
 \end{describe}
 
 \begin{describe}{fun}
+    {parse-property @<scanner> @<pset>
+      @> @<result> @<success-flag> @<consumed-flag>}
+\end{describe}
+
+\begin{describe}{fun}
     {parse-property-set @<scanner>
       @> @<result> @<success-flag> @<consumed-flag>}
 \end{describe}
@@ -542,8 +550,8 @@ These symbols are defined in the @!optparse| package.
 \end{describe}
 
 \begin{describe}{mac}
-    {test-parser (@<scanner>) @<parser> @<input>
-      @> @<success-flag> @<result> @<remainder>}
+    {test-parser (@<scanner> \&key :backtrace) @<parser> @<input>
+      @> @<result> @<status> @<remainder>}
 \end{describe}
 
 \begin{describe}{fun}{exercise}