Installation instructions outdated for Sublime Text 3
rsasse opened this issue · 2 comments
rsasse commented
The sublime text 3 plugin was moved from a private repository to the tamarin-prover repository under https://github.com/tamarin-prover/editor-sublime
The manual https://tamarin-prover.github.io/manual/book/002_installation.html still points to the old non-existing repository and needs to be updated.
lordqwerty commented
See #57