tamarin-prover/manual

Installation instructions missing pandas-citeproc

katrielalex opened this issue · 1 comments

On Debian, sudo apt-get install pandoc does not suffice: you also need pandoc-citeproc.

On OSX, brew install pandoc does not suffice: you also need pandoc-citeproc.

Perhaps this should be in README.md?

This has been fixed, thanks for bringing this to our attention!