From: eachus@spectre.mitre.org (Robert I. Eachus)
Subject: Re: Gnat pretty printing
Date: 1998/12/14
Date: 1998-12-14T00:00:00+00:00 [thread overview]
Message-ID: <EACHUS.98Dec14114916@spectre.mitre.org> (raw)
In-Reply-To: 74on70$m9o$1@cnn.Princeton.EDU
In article <74on70$m9o$1@cnn.Princeton.EDU> mcc@tyrolia.cs.princeton.edu (Martin C. Carlisle) writes:
> As it turns out, I have an independent study project slated for
> next semester to reimplement the reformatting tool in AdaGIDE. It
> is also available as a standalone tool, and will generate colorized
> RTF output. Suggestions for requirements are welcome, although I
> don't promise to have the same preferences you do...
One thing that would be VERY handy would be the ability to match
-gnatg rules.
--
Robert I. Eachus
with Standard_Disclaimer;
use Standard_Disclaimer;
function Message (Text: in Clever_Ideas) return Better_Ideas is...
next prev parent reply other threads:[~1998-12-14 0:00 UTC|newest]
Thread overview: 37+ messages / expand[flat|nested] mbox.gz Atom feed top
1998-12-09 0:00 Gnat pretty printing Matt Tyler
1998-12-09 0:00 ` David C. Hoos
1998-12-09 0:00 ` Tom Moran
1998-12-09 0:00 ` dennison
1998-12-09 0:00 ` Tom Moran
1998-12-09 0:00 ` dennison
1998-12-09 0:00 ` Marin David Condic
1998-12-09 0:00 ` David C. Hoos
1998-12-10 0:00 ` Martin C. Carlisle
1998-12-11 0:00 ` Marin David Condic
1998-12-12 0:00 ` Simon Wright
1998-12-14 0:00 ` dennison
1998-12-15 0:00 ` Marin David Condic
1998-12-15 0:00 ` Matthew Heaney
1998-12-15 0:00 ` Marin David Condic
1998-12-19 0:00 ` Lieven Marchand
1998-12-15 0:00 ` dennison
1998-12-15 0:00 ` Marin David Condic
1998-12-16 0:00 ` dennison
1998-12-16 0:00 ` Matthew Heaney
1998-12-16 0:00 ` Chris Morgan
1998-12-18 0:00 ` dewar
1998-12-17 0:00 ` Dale Stanbrough
1998-12-16 0:00 ` Matthew Heaney
1998-12-12 0:00 ` Robert A Duff
1998-12-13 0:00 ` Ehud Lamm
1998-12-15 0:00 ` Marin David Condic
1998-12-11 0:00 ` Michael F Brenner
1998-12-11 0:00 ` Stephane Barbey
1998-12-11 0:00 ` Bob Collins
1998-12-11 0:00 ` dewarr
1998-12-11 0:00 ` Bryce Bardin
1998-12-14 0:00 ` Robert I. Eachus [this message]
1998-12-21 0:00 ` BARDIN Marc
1998-12-09 0:00 ` Steve O'Neill
1998-12-10 0:00 ` okellogg
1998-12-11 0:00 ` dewarr
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox