[WWW] Updating GCC Links and Selected Readings

["Santiago Urueña Pascual" <suruena at gmail dot com>]

Hi, I've noticed that the Ada section of the following web page is
somewhat outdated:

  http://gcc.gnu.org/readings.html

For example, Ada Core Technologies is now named AdaCore, and there is
much more recent version of the book describing the internals of the
run-time by the same author (also describing the compiler internals).
I also propose adding the following list of links to the Ada
standandards and other useful documents for compiler writers.

Cheers,


--- readings.html.orig  2008-07-15 18:11:53.000000000 +0200
+++ readings.html.new   2008-07-15 18:45:43.000000000 +0200
@@ -545,11 +545,65 @@
 <h3>Ada information</h3>

 <ul>
-  <li><a href="http://www.adacore.com/home/";>Ada Core Technologies</a></li>
-  <li><a href="http://www.iuma.ulpgc.es/users/jmiranda/";>A Detailed
-  Description of the GNU Ada Run Time</a></li>
-  <li><a href="ftp://ftp.cs.nyu.edu/pub/gnat/";>GNAT sources and
-  binaries</a></li>
+
+  <li>Ada standards information:</li>
+
+  <ul>
+    <li><a href="http://www.open-std.org/jtc1/sc22/wg9/";>WG9 (Ada
+    standards committee):</a></li>
+    <ul>
+      <li><a href="http://www.ada-auth.org/ais.html";>Ada Issues</a></li>
+    </ul>
+    <li><a href="http://www.adaic.com/standards";>List of Ada standards (Ada
+    Information Clearinghouse):</a></li>
+    <ul>
+      <li><a href="http://www.adaic.com/standards/05aarm/html/AA-TTL.html";>
+      Annotated Ada&nbsp;2005 Reference Manual</a></li>
+      <li><a href="http://www.adaic.com/standards/05rm/html/RM-TTL.html";>
+      Ada&nbsp;2005 Reference Manual</a></li>
+      <li><a href="http://www.adaic.com/standards/05rat/html/Rat-TTL.html";>
+      Ada&nbsp;2005 Rationale</a></li>
+      <li><a href="http://www.adaic.com/standards/95aarm/html/AA-TTL.html";>
+      Annotated Ada&nbsp;95 Reference Manual</a></li>
+      <li><a href="http://www.adaic.com/standards/95lrm/html/RM-TTL.html";>
+      Ada&nbsp;95 Reference Manual</a></li>
+      <li><a href="http://www.adaic.com/standards/95rat/RAThtml/rat95-copyright.html";>
+      Ada&nbsp;95 Rationale</a></li>
+      <li><a href="http://archive.adaic.com/standards/83lrm/html/ada_lrm.html";>
+      Ada&nbsp;83 Reference Manual</a></li>
+      <li><a href="http://archive.adaic.com/standards/83rat/html/Welcome.html";>
+      Ada&nbsp;83 Rationale</a></li>
+    </ul>
+  </ul>
+
+  <li>Related standards:</li>
+
+  <ul>
+      <li><a href="http://www.sigada.org/WG/asiswg/";>Ada Semantic Interface
+      Specification (ASIS)</a></li>
+   </ul>
+
+  <li>Compiler validation:</li>
+
+  <ul>
+    <li><a href="http://www.ada-auth.org/acats.html";>Ada Conformity Assessment
+      Test Suite (ACATS)</a></li>
+  </ul>
+
+   <li>Other resources:</li>
+      <ul>
+         <li><a href="http://www.adacore.com/";>AdaCore</a></li>
+         <li><a href="https://libre.adacore.com/";>AdaCore &mdash;
Libre Site</a></li>
+         <li><a
href="https://www2.adacore.com/gap-static/GNAT_Book/html/";>GNAT:
+         The GNU Ada Compiler</a></li>
+         <li><a href="http://www.adaic.org/docs/95style/html/cover.html";>Ada
+         Quality &amp; Style Guide</a></li>
+      <li><a href="http://polaris.dit.upm.es/~ork/documents/adahis.pdf";>Guide
for
+      the use of the Ada programming language in high integrity
systems</a></li>
+      <li><a href="http://www.sigada.org/ada_letters/jun2004/ravenscar_article.pdf";>Guide
+      for the use of the Ada Ravenscar Profile in high integrity
systems</a></li>
+      </ul>
+
 </ul>

-- 
Santiago Urueña Pascual <suruena@gmail.com>