# LaTeX2HTML 2008 (1.71)
# Associate images original text with physical files.


$key = q/n;MSF=1.6;AAT/;
$cached_env_img{$key} = q|<IMG
 WIDTH="12" HEIGHT="31" ALIGN="MIDDLE" BORDER="0"
 SRC="|."$dir".q|img4.png"
 ALT="$n$">|; 

$key = q/bullet;MSF=1.6;AAT/;
$cached_env_img{$key} = q|<IMG
 WIDTH="12" HEIGHT="17" ALIGN="BOTTOM" BORDER="0"
 SRC="|."$dir".q|img1.png"
 ALT="$\bullet$">|; 

$key = q/{lstlisting}[language=Ada]--main.adspragmaNo_Run_Time;withInterfaces.C;{par{pack;{par{procedureMainisbeginPrintf("Helloworld!");endMain;endMain;{lstlisting};AAT/;
$cached_env_img{$key} = q|<IMG
 WIDTH="589" HEIGHT="299" ALIGN="BOTTOM" BORDER="0"
 SRC="|."$dir".q|img2.png"
 ALT="\begin{lstlisting}[language=Ada]
- main.ads
pragma No_Run_Time;
with Interfaces...
...ain is
begin
Printf (''Hello world!'');
end Main;
end Main;
\end{lstlisting}">|; 

1;