Specware Logo


Home | News | Documentation | Support | Ordering Info

Specware 4.2.10


Release Notes for Specware 4.2.10

There is now a Haskell code generator.

The Isabelle translator now allows the user to specify that a subtype be implemented using Isabelle typedefs.

Initial version of transformation system, including a shell specialized for creating new derivations and a transformation scripting language for replay.


webmaster@specware.org