From mboxrd@z Thu Jan  1 00:00:00 1970
X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me
X-Spam-Level: *
X-Spam-Status: No, score=1.3 required=5.0 tests=BAYES_00,INVALID_MSGID,
	MSGID_RANDY autolearn=no autolearn_force=no version=3.4.4
X-Google-Language: ENGLISH,ASCII-7-bit
X-Google-Thread: 103376,c2f62556e56c9683
X-Google-Attributes: gid103376,public
From: Robert Dewar <robert_dewar@my-deja.com>
Subject: Re: 'with'ing and 'use'ing
Date: 2000/03/06
Message-ID: <8a1eel$h7g$1@nnrp1.deja.com>#1/1
X-Deja-AN: 594008125
References: <yoxzosjx5o1.fsf@dymock.dra.hmg.gb> <38BC2EB3.2639372B@acm.org>
 <Pine.BSF.4.21.0002291409180.6230-100000@shell5.ba.best.com>
 <89l6aj$s5e$1@wanadoo.fr> <38BE974F.B8FAFEBE@earthlink.net>
 <wccputd8aqx.fsf@world.std.com> <89ml92$5c1$1@nnrp1.deja.com>
 <38BEF1A3.24B566BF@earthlink.net> <89rpuc$n9p$1@nnrp1.deja.com>
 <38C3D86E.EE31E822@earthlink.net>
X-Http-Proxy: 1.0 x38.deja.com:80 (Squid/1.1.22) for client 205.232.38.14
Organization: Deja.com - Before you buy.
X-Article-Creation-Date: Mon Mar 06 23:19:54 2000 GMT
X-MyDeja-Info: XMYDJUIDrobert_dewar
Newsgroups: comp.lang.ada
X-Http-User-Agent: Mozilla/4.61 [en] (OS/2; I)
Date: 2000-03-06T00:00:00+00:00
List-Id: <comp.lang.ada>

In article <38C3D86E.EE31E822@earthlink.net>,
  Charles Hixson <charleshixsn@earthlink.net> wrote:
>  It seems
> to be included as an afterthought rather than as an essential

tool.
> It seems to be neither included on a menu nor documented.


gnatfind and gnatxref are fully documented in the GNAT user's
guide. Indeed there is a top level entry

* The cross-referencing tools gnatxref and gnatfind::

in the manual that contains all the information you need to
know. I strongly recommend that anyone using GNAT read the
documentation, there is lots of useful stuff there :-)

Remember that AdaGIDE is intended just for simple student
use, for which it is very effective. And even students will
benefit by reading the GNAT documentation!

Robert Dewar
Ada Core Technologies


Sent via Deja.com http://www.deja.com/
Before you buy.