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 autolearn=no autolearn_force=no version=3.4.4 X-Google-Language: ENGLISH,ASCII-7-bit X-Google-Thread: 103376,d80e5467f1a45608 X-Google-Attributes: gid103376,public From: Gautier de Montmollin Subject: Re: GNAT Library Reference. Where can I find it? Date: 1998/11/03 Message-ID: <363F8716.ECE17699@Maths.UniNe.CH>#1/1 X-Deja-AN: 408087896 Content-Transfer-Encoding: 7bit References: To: Robert Schien Content-Type: text/plain; charset=us-ascii MIME-Version: 1.0 Newsgroups: comp.lang.ada Date: 1998-11-03T00:00:00+00:00 List-Id: Robert Schien wrote: > Of course, there is a lot of information available (www.adahome.com). > But what I am missing is a reference manual about the library ( > standard routines). It seems to be contained in the online RM95 manual > but unfortunately it is NOT in the tar-file gnat-3.10p-src.tar.gz, > which contains a great user manual and reference manual about > the language but no short library reference. > (I grep'ed for the numerical function Sqrt for instance and didn't > find it) You can use the Adahelp hypertext engine: it creates an hypertext index about any word. E.g. command "adahelp sqrt" produces at screen: ---- GWAda Help Engine Token Search Sqrt A.5.1(5), B.1(52), G.1.2(4) ---- then you just have to click one of the references... Adahelp is in gw_gnat.zip @ ftp://ftp.gwu.edu/pub/ada/ez2load/ or any mirror - http://ftpsearch.ntnu.no/cgi-bin/search?query=gw_gnat.zip NB: my tiny IDE, EDIT, calls this feature when the cursor is on a word (and you activate the right menu entry / key, of course...) EDIT: http://www.unine.ch/math/Personnel/Assistants/Gautier/edit.htm -- Gautier -------- Homepage: http://www.unine.ch/math/Personnel/Assistants/Gautier/Montmollin.html Software: http://www.unine.ch/math/Personnel/Assistants/Gautier/Gaut_FTP.htm