From: Mark Wooding Date: Sat, 22 Jul 2017 15:48:33 +0000 (+0100) Subject: doc/parsing.tex: Fix awful inconsistency in indentation. X-Git-Url: https://www.chiark.greenend.org.uk/ucgi/~mdw/git/sod/commitdiff_plain/acaf88ad7dda1e7709729a8fd9c44417b78fe3a3?ds=inline doc/parsing.tex: Fix awful inconsistency in indentation. Somehow the descriptions of the various condition classes ended up all over the place. --- diff --git a/doc/parsing.tex b/doc/parsing.tex index c04ab56..faa7a22 100644 --- a/doc/parsing.tex +++ b/doc/parsing.tex @@ -89,31 +89,31 @@ consumed any input items. \begin{describe*} {\quad\=\quad\=\kill \dhead{cls} - {error-with-location (condition-with-location error) \\ \> - \&key :location} - \dhead{cls} - {warning-with-location (condition-with-location warning) \\ \> - \&key :location} - \dhead{cls} - {enclosing-error-with-location - (enclosing-error-with-location error) \\ \> - \&key :condition :location} - \dhead{cls} - {enclosing-warning-with-location - (enclosing-condition-with-location warning) \\ \> - \&key :condition :location} + {error-with-location (condition-with-location error) \\ \> + \&key :location} \dhead{cls} - {simple-condition-with-location - (condition-with-location simple-condition) \\ \> - \&key :format-control :format-arguments :location} + {warning-with-location (condition-with-location warning) \\ \> + \&key :location} \dhead{cls} - {simple-error-with-location - (error-with-location simple-error) \\ \> - \&key :format-control :format-arguments :location} - \dhead{cls} - {simple-warning-with-location - (warning-with-location simple-warning) \\ \> - \&key :format-control :format-arguments :location}} + {enclosing-error-with-location + (enclosing-error-with-location error) \\ \> + \&key :condition :location} + \dhead{cls} + {enclosing-warning-with-location + (enclosing-condition-with-location warning) \\ \> + \&key :condition :location} + \dhead{cls} + {simple-condition-with-location + (condition-with-location simple-condition) \\ \> + \&key :format-control :format-arguments :location} + \dhead{cls} + {simple-error-with-location + (error-with-location simple-error) \\ \> + \&key :format-control :format-arguments :location} + \dhead{cls} + {simple-warning-with-location + (warning-with-location simple-warning) \\ \> + \&key :format-control :format-arguments :location}} \end{describe*} \begin{describe}{fun}