search

cascremers / scyther

The Scyther Tool for the symbolic analysis of security protocols
https://cispa.saarland/group/cremers/scyther/index.html
96 stars 38 forks source link

Incorporate new manual into releases #3

Closed cascremers closed 1 year ago

cascremers commented 11 years ago

Work on the new manual is well underway, but not done.

It still makes sense to put the current, incomplete, manual into the new releases.

cascremers commented 1 year ago

This is now fixed in master since a32655f85de4e19f0c0da1c46df533de72838dac.