Update syntax description to allow trailing comma - Githubissues

tamarin-prover / manual

Tamarin prover manual: source files

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

24 stars 39 forks source link

Update syntax description to allow trailing comma #80

Closed thomwiggers closed 2 years ago

thomwiggers commented 3 years ago

Also fixes minor definition problem of lemma_attr.

See also https://github.com/tamarin-prover/tamarin-prover/pull/432