Add support for configuration blocks

tamarin-prover / manual

Tamarin prover manual: source files

https://tamarin-prover.github.io/manual

24 stars 39 forks source link

Closed kevinmorio closed 6 months ago

kevinmorio commented 6 months ago

This updates the syntax in reference to tamarin-prover/tamarin-prover#512.

cascremers commented 6 months ago

Thank you!