OCaml Forge
SCM

File Release Notes and Changelog

Release Name: libpromela 0.4.0.0

Change Log

-added normalization functions
-support for never claim
-reduced number of statements
-improve labels