CVS difference for acats/docs/ug-31.htm

Differences between 1.4 and version 1.5
Log of other versions for file acats/docs/ug-31.htm

--- acats/docs/ug-31.htm	2014/01/31 05:08:07	1.4
+++ acats/docs/ug-31.htm	2014/08/29 05:17:04	1.5
@@ -17,7 +17,7 @@
     </STYLE>
 </HEAD>
 <BODY TEXT="#000000" BGCOLOR="#FFFFE8" LINK="#0000FF" VLINK="#800080" ALINK="#FF0000">
-<DIV><SPAN Style="font-size:200%; color: rgb(0,0,153)"><B>ACATS 3.1 User's Guide</B></SPAN></DIV>
+<DIV><SPAN Style="font-size:200%; color: rgb(0,0,153)"><B>ACATS 4.0 User's Guide</B></SPAN></DIV>
 <DIV Class="Normal"><I><B><A HREF="UG-TTL.HTM">Title Page</A></B></I></DIV>
 <div style="margin-top: 0.6em; margin-bottom: 0.0em"><A HREF="UG-TOC.HTM"><IMG SRC="CONT.GIF" ALT="Contents" BORDER=0></A>&nbsp;
 &nbsp;<A HREF="UG-02.HTM"><IMG SRC="INDEX.GIF" ALT="Index" BORDER=0></A>&nbsp;
@@ -32,7 +32,7 @@
 will test an individual rule of Ada. <I>Rule</I> means whatever set of 
 sentences makes up a testable statement. A rule may be as small as a 
 single line, or spread across multiple paragraphs of the standards.<A NAME="I1018"></A></div>
-<div class="Normal">For instance, <A HREF="UG-01.HTM#Amend1">[Amend1]</A> 
+<div class="Normal">For instance, <A HREF="UG-01.HTM#Ada2012">[Ada2012]</A> 
 contains the rule&nbsp;</div>
 <div class="Indented1">The implicit declaration of the limited view of 
 a library package forms an (implicit) compilation unit whose <SPAN Class="swiss">context_clause</SPAN> 

Questions? Ask the ACAA Technical Agent