Georg Bauhaus <[email protected]> writes: > On 02 Jan 2014, at 14:55, Florian Schanda <[email protected]> wrote: > >> And here are some >> basic examples of SPARK 2014 aspects > > Should Ada mode set aside a colour for emphasising these > vendor-specific language extensions? It might help > Ada programmers focusing on (or away from) the proof related > aspects of SPARK 2014 programs.
'Pre' and 'Post' are standard aspects; Spark just uses them. -- -- Stephe _______________________________________________ Emacs-ada-mode mailing list [email protected] http://host114.hostmonster.com/mailman/listinfo/emacs-ada-mode_stephe-leake.org
