SPARK Ada mode for Emacs - Bugs: bug #32235, Problem with...
bug #32235: Problem with ada-format-call-paramlist in SPARK annotation
Follows 1 latest change.
Date | Changed by | Updated Field | Previous Value | => | Replaced by |
---|---|---|---|---|---|
2011-04-15 | gallaert | Severity | 1 - Wish | 2 - Minor |
Powered by Savane 3.13-02a9.
Corresponding source code