From: Georg Bauhaus <rm.dash-bauhaus@futureapps.de>
Subject: Re: Ada documentation tools.
Date: Mon, 15 Nov 2010 10:52:22 +0100
Date: 2010-11-15T10:52:16+01:00 [thread overview]
Message-ID: <4ce102d0$0$7666$9b4e6d93@newsspool1.arcor-online.net> (raw)
In-Reply-To: <c2c16ca4-9833-4947-a549-6de773ef78dc@35g2000prb.googlegroups.com>
On 15.11.10 09:14, AdaMagica wrote:
> So what do you expect from such a tool that the Ada spec does not yet
> provide?
I'd want source code navigation in comments.
Navigating to relevant documents from within the IDE
is also convenient.
Assume a standardized tagging syntax for comments
(cf. SPARK). Then tools can more easily turn Ada
specifications into hypertext (needs *not* be HTML,
and needs not force us out of the IDE).
next prev parent reply other threads:[~2010-11-15 9:52 UTC|newest]
Thread overview: 17+ messages / expand[flat|nested] mbox.gz Atom feed top
2010-11-14 22:26 Ada documentation tools Peter C. Chapin
2010-11-15 8:14 ` AdaMagica
2010-11-15 9:49 ` Maciej Sobczak
2010-11-15 12:29 ` AdaMagica
2010-11-15 13:06 ` Maciej Sobczak
2010-11-15 14:25 ` AdaMagica
2010-11-15 14:56 ` Georg Bauhaus
2010-11-17 23:06 ` Yannick Duchêne (Hibou57)
2010-11-15 9:52 ` Georg Bauhaus [this message]
2010-11-15 11:40 ` Peter C. Chapin
2010-11-15 12:38 ` AdaMagica
2010-11-15 23:33 ` Peter C. Chapin
2010-12-20 13:02 ` Marco
2010-11-16 1:02 ` Marc A. Criley
2010-11-15 12:56 ` Niklas Holsti
2010-11-15 23:19 ` Peter C. Chapin
2010-11-15 9:47 ` Maciej Sobczak
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox