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. _______________________________________________ Emacs-ada-mode mailing list [email protected] http://host114.hostmonster.com/mailman/listinfo/emacs-ada-mode_stephe-leake.org
