Tools for developing and reasoning about Z specifications
Gaffe2 is a GUI builder for Z animator.
First beta version released at Nov 12, 2006, allowing to connect to ZLive animator.
Use net.sourceforge.czt.animation.view.MainFrame class to launch Gaffe2.
Back to top
Copyright ©2003-2016 Community Z Tools Project. All Rights Reserved.
Version: 1.6-SNAPSHOT. Last Published: 2016-04-09.
Reflow Maven skin by Andrius Velykis.