\newcommand{\indexit}[1]{#1\index{#1}}%
\newcommand{\inioption}[1]{{\bf {\tt #1}}\index{#1}}%
-\newcommand{\manvernum}[0]{0.6}
+\newcommand{\manvernum}[0]{0.7}
\newcommand{\manver}[0]{v\manvernum}
\newcommand{\mandate}[0]{February 19, 2001}
\newcommand{\ctsimfooter}{\setfooter{\thepage}{}{}{\small Manual \manver}{\small \mandate}{\thepage}}