"Tamarin Code Editors: Sublime" error

[Martin Dehnel-Wild]

Hi all, Happy New Year :-)

I think there's an error in Page 2 of the manual about installation and installing code editors; in the Sublime Text section it says:

Pull directory into Packages folder.
SSH: git pull [e-mail]:tamarin-prover/editor-sublime.git
HTTPS: git pull https://github.com/tamarin-prover/editor-sublime.git

I think this should be git clone not git pull on both lines!

(The installation text in https://github.com/tamarin-prover/editor-sublime/blob/master/README.md is correct)

Thanks,

Martin

[Martin Dehnel-Wild]

Oh, and the folder is wrong for linux too:

Linux: ~/.Sublime\ Text\ 3/Packages/

should be ~/.config/sublime-text-3/Packages/.

I'll submit a PR... ( #74 )

[Martin Dehnel-Wild]

Now fixed by PR #74.