Specware Logo


Home | News | Documentation | Support | Ordering Info

Specware 4.2.13


Release Notes for Specware 4.2.13

Specware now works with Gnu Emacs as well as XEmacs.

Updated Isabelle translator to work with Isabelle 20011-1.

Miscellaneous bug fixes and improvements to the transformation system.


webmaster@specware.org