[RFA]: Turn on Ada support, take 2

[Paul Hilfinger]

> >    [...] I will have to consider the
> >    issue of formating things like 'Address, since the standard rendering
> >    in info files provided by the technically appropriate marker, 
> >    @code, looks rather bad (in my opinion), due to the adjacent quotes 
> >    at the beginning.
> 
> If you feel strongly about this, I won't object to use of @t{'Address}
> in those cases where you think the standard markup looks bad.

Eli,

Well, I feel strongly that the result of @code{'Address} looks really
cruddy in an .info file.  However, it occurs to me that if I  rewrote
the section a little to supply dummy prefixes (e.g., @code{Obj'Address}),
the result would not be so bad and would use the right markup command.

> I have a couple more comments about the patch to gdb.texinfo; sorry
> if I missed those in the first reading.
> 
> > +@node Ada Mode Intro
> > +@subsubsection Introduction
> > +@cindex Ada mode, general
> 
> There's no need to add the "general" qualifier here, since you have
> no other index entry that begins with "Ada mode".  So simply say
> "@cindex Ada mode".
> 
> > +While in Ada mode, you may use `@t{--}' for comments.
> 
> Is there a reason for using a @t here?  Why not @samp{--}?


OK on both.

Paul Hilfinger