'ada-mode' in the subject. If possible, use M-x report-emacs-bug.
\f
+* Ada mode 5.1.3
+19 Apr 2014
+
+** more GNAT error message auto-fixes
+
+** support aspects on subprogram declarations; format same as SPARK examples.
+
+** fix bug in ada-syntax-propertize that caused query-replace to screw up
+
+** inhibit reparse due to case adjust; case adjust entire buffer is
+ now _much_ faster.
+
+** Non-ASCII characters supported in Ada mode buffers, including GNAT
+ bracket notation.
+
* Ada mode 5.1.2
16 Mar 2014