[project @ 2000-03-09 13:28:08 by panne]

Removed a typo, i.e. ]\begin{code} => \begin{code}