See Adding Environments, for how to customize the list of known environments.
This document was generated by Ralf Angeli on February, 10 2008 using texi2html 1.78.