chiark / gitweb /
doc/{misc,parsing}.tex: Write <form> rather than <body-form>.
authorMark Wooding <mdw@distorted.org.uk>
Thu, 26 May 2016 08:26:09 +0000 (09:26 +0100)
committerMark Wooding <mdw@distorted.org.uk>
Sat, 22 Jul 2017 17:13:31 +0000 (18:13 +0100)
commitcd35a54e8936e9de460427768dcff00df60ecbd4
tree113e279cb2189cc9685411e82b75e9022f66401c
parent02840f3dba856d042fe27a0adfb0367346447cda
doc/{misc,parsing}.tex: Write <form> rather than <body-form>.
doc/misc.tex
doc/parsing.tex