From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: (qmail 23899 invoked by alias); 25 Oct 2008 17:02:03 -0000 Received: (qmail 23887 invoked by uid 22791); 25 Oct 2008 17:02:02 -0000 X-Spam-Check-By: sourceware.org Received: from vexpert.dbai.tuwien.ac.at (HELO vexpert.dbai.tuwien.ac.at) (128.131.111.2) by sourceware.org (qpsmtpd/0.31) with ESMTP; Sat, 25 Oct 2008 17:00:57 +0000 Received: from acrux.dbai.tuwien.ac.at (acrux [128.131.111.60]) by vexpert.dbai.tuwien.ac.at (Postfix) with ESMTP id 0658039111 for ; Sat, 25 Oct 2008 19:00:55 +0200 (CEST) Received: by acrux.dbai.tuwien.ac.at (Postfix, from userid 1203) id 43E3D10055; Sat, 25 Oct 2008 19:00:55 +0200 (CEST) Received: from localhost (localhost [127.0.0.1]) by acrux.dbai.tuwien.ac.at (Postfix) with ESMTP id 3A42010046 for ; Sat, 25 Oct 2008 19:00:56 +0200 (CEST) Date: Sat, 25 Oct 2008 17:46:00 -0000 From: Gerald Pfeifer To: gcc-patches@gcc.gnu.org Subject: [wwwdocs] Remove stale link to "Guide for the use of the Ada programming language in high integrity systems" Message-ID: User-Agent: Alpine 1.99 (LSU 1142 2008-08-13) MIME-Version: 1.0 Content-Type: TEXT/PLAIN; charset=US-ASCII X-IsSubscribed: yes Mailing-List: contact gcc-patches-help@gcc.gnu.org; run by ezmlm Precedence: bulk List-Id: List-Archive: List-Post: List-Help: Sender: gcc-patches-owner@gcc.gnu.org X-SW-Source: 2008-10/txt/msg01101.txt.bz2 Installed. Gerald Index: readings.html =================================================================== RCS file: /cvs/gcc/wwwdocs/htdocs/readings.html,v retrieving revision 1.183 diff -u -3 -p -r1.183 readings.html --- readings.html 7 Oct 2008 00:05:03 -0000 1.183 +++ readings.html 25 Oct 2008 16:57:21 -0000 @@ -562,9 +562,6 @@ Intel®64 and IA-32 Architectures Sof The GNU Ada Compiler
  • Ada Quality & Style Guide
    • -
  • Guide - for the use of the Ada programming language in high integrity - systems
  • Guide for the use of the Ada Ravenscar Profile in high integrity systems