Specware Logo


Home | News | Documentation | Support | Ordering Info

Specware 4.1.3


Release Notes

Support for Mac OS X.

Miscellaneous bug fixes.

Spec elements printed in same order as entered.

Code generation for C and Java improved but still incomplete.


webmaster@specware.org