* 0.3.1 Bugfix, small enhancement release - Bugfix: Added missing cases for bidirectional shared keys in Message deconstruction functions. - Provide more precise warnings for internal certification checks. Improves debugging experience. - Updated documentation: UnionFind and .cabal project description - Allow parsing of user-specified type assertions. For protocols with nested encryptions, the inferred type assertions are sometimes not precise enough. We handle these cases using user-specified type assertions. - Removed support for weak-atomicity, as it is subsumed by type assertions. - Changed lexer to also recognize `!' * 0.3.0 First public version Aligned with paper submission for CCS'11: Provably repairing the ISO-9798 authentication protocols.