Hackage :: [Package]
Home
Search
Browse
What's new
Upload
User accounts
Changelog for
tamarin-prover-0.1.1.0
* 0.1.1.0 Bug-fix release - fixed: automatically create output directory, if it does not exist - fixed: wrong flags given in help message for starting interactive mode * 0.1.0.0 First public release