comp.lang.ada
 help / color / mirror / Atom feed
From: Peter Chapin <PChapin@vtc.vsc.edu>
Subject: Re: preferred Ada IDE?
Date: Tue, 12 Aug 2014 12:43:19 -0400
Date: 2014-08-12T12:43:19-04:00	[thread overview]
Message-ID: <fb6dnUG1fKK22XfORVn_vwA@giganews.com> (raw)
In-Reply-To: <85sil1vkg7.fsf@stephe-leake.org>

On 2014-08-12 10:42, Stephen Leake wrote:

> Have you tried Emacs Ada mode 5.0?
> 
> I'm interested in improving Ada mode.

I just installed it and it seems nice. Do you have any interest in
support the SPARK specific aspects? Also I see you are colorizing Pre
and Post aspects (for example) but it doesn't seem to work in the case
where those aspects are introduced on separate lines such as:

   function ModSubtract (L, R : Very_Long) return Very_Long
      with
         Pre  => L.Digit_Length = R.Digit_Length,
         Post => ModSubtract'Result.Digit_Length = L.Digit_Length;

I notice you have a feature where it will bring up the Ada Reference
Manual in info format. Only that doesn't work for me because I don't
have it in that format. Is that available somewhere?

Peter

BTW, I'm on Windows using Emacs 24.2.1



  reply	other threads:[~2014-08-12 16:43 UTC|newest]

Thread overview: 18+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2014-08-01 20:39 preferred Ada IDE? pincerfae
2014-08-01 21:11 ` Simon Wright
2014-08-12 14:40   ` Stephen Leake
2014-08-02  7:20 ` Jacob Sparre Andersen
2014-08-02  7:52 ` mockturtle
2014-08-02  8:05   ` Dmitry A. Kazakov
2014-08-02 17:16     ` mockturtle
2014-08-12 14:42   ` Stephen Leake
2014-08-12 16:43     ` Peter Chapin [this message]
2014-08-12 21:37       ` G.B.
2014-08-12 21:57         ` Georg Bauhaus
2014-08-13  0:33           ` Peter Chapin
2014-08-13  8:58       ` Stephen Leake
2014-08-13 12:08         ` Peter Chapin
2014-08-12 17:24     ` mockturtle
2014-08-13  9:06       ` Stephen Leake
2014-08-13  9:28         ` G.B.
2014-08-02 20:42 ` björn lundin
replies disabled

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox