Hi, First off, I love the emacs ada-mode, good stuff! I use it in my day-to-day work. In particular its nice to see support for Ada 2012.
Two thoughts; some installation hints/instructions (for debian) would be great. I have tried the pre-release versions of 5.0, and the latest version I got to work was org.emacs.ada-mode.smie-2013-04-16.tar.gz. I have worked out that I will need emacs 24, but beyond that I've had no succes. Secondly, it would be fantastic to add support for some of the new SPARK 2014 (http://spark-2014.org) aspects. In particular Global, Refined_Global, Depends, Refined_Depends, Initializes, Part_Of, Abstract_State and Refined_State. I can provide more details on the syntax for all of these, but the RM is probably the best source: http://docs.adacore.com/spark2014-docs/html/lrm -- Florian Schanda SPARK Team _______________________________________________ Emacs-ada-mode mailing list [email protected] http://host114.hostmonster.com/mailman/listinfo/emacs-ada-mode_stephe-leake.org
