Specware Logo


Home | News | Documentation | Support | Ordering Info

Specware 4.2.7


Release Notes for Specware 4.2.7

Added the "refine def" construct to specify refined version of a function.

Updated Isabelle translator to work with Isabelle 2009-1.

Miscellaneous bugs fixes, particularly to Isabelle translation.


webmaster@specware.org