Specware 4.2.13

Release Notes

Specware now works with Gnu Emacs as well as XEmacs.

Updated Isabelle translator to work with Isabelle 2011-1.

Miscellaneous bug fixes and improvements to the transformation system.