Wednesday September 9, 2009
SPARK keywords (such as assert, check, …) are now higlighted in source editors using the keyword font when found in SPARK annotations.
Posted in Development Log, GPS