Fix typo and formatting

tamarin-prover / manual

Tamarin prover manual: source files

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

24 stars 39 forks source link

Closed keks closed 6 years ago

keks commented 6 years ago

conjuncts were seperated by |, fixed to &
fixed /.../ to /*...*/
changed inline code snippets, command lines and file names from 'apostrophe-quoted' to backtick-quoted (markdown inline code)

rsasse commented 6 years ago

Thanks for the fixes! Merging.