-<HTML><HEAD><TITLE></TITLE></HEAD>
+<!DOCTYPE html PUBLIC "-//W3C//DTD HTML 4.01//EN">
+<HTML>
+<HEAD>
+<TITLE></TITLE>
+<meta http-equiv="Content-Type" content="text/html; charset=iso-8859-1">
+<style type="text/css">
+*.comment {
+ color: green;
+}
+*.symbol {
+ color: red;
+}
+</style>
+</HEAD>
<BODY>
<P ALIGN=right><A HREF="main.htm" TARGET="_top">[No frame version is here]</A><P><H2 ALIGN=CENTER>Files</H2>
<A HREF="files/T.htm">[T]</A>
-</UL>
<HR><H2 ALIGN=CENTER>Functions/Procedures</H2>
-<A HREF="funcs/ .htm">[ ]</A>
<A HREF="funcs/A.htm">[A]</A>
<A HREF="funcs/B.htm">[B]</A>
<A HREF="funcs/C.htm">[C]</A>
<A HREF="funcs/U.htm">[U]</A>
<A HREF="funcs/V.htm">[V]</A>
<A HREF="funcs/W.htm">[W]</A>
-</UL>
<HR>
You should start your browsing with one of these files:
<UL>
<LI><A HREF="terminal_interface-curses-text_io__ads.htm">terminal_interface-curses-text_io.ads</A>
<LI><A HREF="terminal_interface-curses-trace__ads.htm">terminal_interface-curses-trace.ads</A>
<LI><A HREF="terminal_interface-curses__ads.htm">terminal_interface-curses.ads</A>
+<LI><A HREF="terminal_interface-curses_constants__ads.htm">terminal_interface-curses_constants.ads</A>
<LI><A HREF="terminal_interface__ads.htm">terminal_interface.ads</A>
-</BODY></HTML>
\ No newline at end of file
+</UL>
+</BODY></HTML>