Added syntax description of rule annotations (currently only colouring)

tamarin-prover / manual

Tamarin prover manual: source files

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

24 stars 39 forks source link

Added syntax description of rule annotations (currently only colouring) #29

Closed kmilner closed 7 years ago

cascremers commented 7 years ago

The manual now has a /develop branch with the intent of being in synch with the /develop branch of Tamarin. Could you please change this pull request to target /develop of the manual?

kmilner commented 7 years ago

Done