-% \section{Change history}
-%
-% \subsection*{Version 1.07}
-%
-% \begin{itemize}
-% \item Fixed problem with underscore hacking in a \env{tabbing} environment.
-% \end{itemize}
-%
-% \subsection*{Version 1.06}
-%
-% \begin{itemize}
-% \item Added style hooks for syntax items.
-% \item Improved colour handling in syntax diagrams, thanks to the |\doafter|
-% package.
-% \item Fixed some nasty bugs in the \env{grammar} environment which confused
-% other lists and ruined the spacing. The \env{grammar} handling is
-% now much tidier in general.
-% \end{itemize}
-%
-% \subsection*{Version 1.05}
-%
-% \begin{itemize}
-% \item Fixed `the bug' in the syntax diagram typesetting. It now breaks
-% lines almost psychically, and doesn't break in the wrong places.
-% \item Almost rewrote the \env{grammar} environment. It now does lots of
-% the list handling itself, to allow more versatile typesetting of the
-% left hand sides. There's lots of evil in there now.
-% \item Added some more configurability. In particular, two new settings
-% have been added to control \env{grammar} environments, and a neat
-% way of adding new syntax diagram structures has been introduced.
-% \end{itemize}
-%
-% \subsection*{Version 1.04}
-%
-% \begin{itemize}
-% \item Changed the vertical positioning of the rules, to make all the text
-% line up properly. While the old version was elegant and simple, it
-% had the drawback of looking nasty.
-% \item Allow line breaks at underscores, but don't if there's another one
-% afterwards. Also, prevent losing following space if underscore is
-% written to a file.
-% \end{itemize}
-%
-% \subsection*{Version 1.02}
-%
-% \begin{itemize}
-% \item Added support for rounded corners in syntax diagrams.
-% \item Changed lots of |\hskip| commands to |\kern|s, to prevent possible
-% line breaks.
-% \end{itemize}
-%
-% \subsection*{Version 1.01}
-%
-% \begin{itemize}
-% \item Allowed disabling of underscore active character, to avoid messing
-% up filenames.
-% \item Added |\grammarparsep| and |\grammarindent| length parameters to
-% control the appearance of grammars.
-% \end{itemize}
-%