% Auto-generated file; do not edit
\date{February 16, 2005}
\release{1.7.0}
\setshortversion{1.7}
