Home | Releases | Documentation | Support
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.
Home | Releases | Documentation | Support
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.