ted previously:</p>

<p style="margin-left:3%; margin-top: 1em"><b>col n { ... }
<br>
lcol n { ... } <br>
rcol n { ... } <br>
ccol n { ... } <br>
pile n { ... } <br>
lpile n { ... } <br>
rpile n { ... } <br>
cpile n { ... }</b> (set vertical spacing between rows
to&nbsp;N) </li></p></ul>

<p>grohtml</p><ul>

<p><li>This device driver has been raised to beta stage;
its set of tags should be stable now.</p>

<p style="margin-top: 1em"></li><li>New command line option
&lsquo;&minus;s&rsquo; to set the base poi