レルム名に小文字を使うと妙にうまくゆきません。これは、本当はすべきなのですが、まだ直されていません。
This document was generated on 9 June 2002 using the texi2html translator version 1.51a.