Releases

Version	Date	Release notes	Installation	Major changes
1.2.1	8th June 2005	View	Install	Syntax highlighting in documentation generator Implemented goto line functionality

Note: To follow links marked you need a username and password. For authorised members of Stirling's CS dept, use your normal CS login.

Case Studies

Title	Version	Date	Description	Downloads
Library case study	1.0	8th June 2008	This case study is verified using RAC, ESC and FFV, in turn.	Source (830 Kb)