\contentsline {section}{\numberline {1}Introduction}{1}
\contentsline {section}{\numberline {2}The \texttt {algorithmic} Environment}{2}
\contentsline {subsection}{\numberline {2.1}The Simple Statement}{2}
\contentsline {subsection}{\numberline {2.2}The {\em if-then-else} Construct}{2}
\contentsline {subsection}{\numberline {2.3}The {\em for} Loop}{3}
\contentsline {subsection}{\numberline {2.4}The {\em while} Loop}{4}
\contentsline {subsection}{\numberline {2.5}The {\em repeat-until} Loop}{4}
\contentsline {subsection}{\numberline {2.6}The Infinite Loop}{5}
\contentsline {subsection}{\numberline {2.7}The Precondition}{5}
\contentsline {subsection}{\numberline {2.8}The Postcondition}{5}
\contentsline {subsection}{\numberline {2.9}Comments}{6}
\contentsline {subsection}{\numberline {2.10}An Example}{6}
\contentsline {subsection}{\numberline {2.11}Options}{7}
\contentsline {subsection}{\numberline {2.12}Customization}{7}
\contentsline {section}{\numberline {3}The \texttt {algorithm} Environment}{8}
\contentsline {subsection}{\numberline {3.1}General}{8}
\contentsline {subsection}{\numberline {3.2}Options}{9}
\contentsline {subsection}{\numberline {3.3}Customization}{10}