% Auto-generated file; do not edit
\date{May 14, 2002}
\release{1.2.6}
\setshortversion{1.2}
