search

tamarin-prover / manual

Tamarin prover manual: source files
https://tamarin-prover.github.io/manual
24 stars 39 forks source link

Issue535 type doc #106

Closed sans-sucre closed 1 year ago

sans-sucre commented 1 year ago

This PR is to add some explications of different colors of arrows (which comes from this PR ) to the doc and update the screens of GUI in the tutorial.

jdreier commented 1 year ago

Thanks, merging!