This is a post-vacation collection of news that happened while I was touring Lofoten.
- CfP 16th Conf. Reliable Software Technologies, Ada-Europe 2011
- SPARK – Bubble Sort on Rosetta Code
- SparkSure proof resources now up-to-date
- Ada 2005 Math Extensions, 20100818 release
- Matreshka 0.0.5
- GLOBE_3D Aug-2010 release
- SPARKSkein released
- VTD-XML 2.9
- SPARK : Third example for Rosetta – reviewers welcome
Enjoy!