User Tools

Site Tools


how_to_access_the_paper_svn

Differences

This shows you the differences between two versions of the page.

Link to this comparison view

Both sides previous revision Previous revision
how_to_access_the_paper_svn [2014/07/03 17:36]
schram
how_to_access_the_paper_svn [2017/07/15 12:18] (current)
kroening
Line 3: Line 3:
 1. Send your public key to Daniel 1. Send your public key to Daniel
  
-2. Run ''​svn co svn+ssh://​yourusername@''​www''''​.cprover.org/​srv/​svn/​papers/​yourpaper''​+2. Run ''​svn co svn+ssh://​yourusername@''​svn''''​.cprover.org/​srv/​svn/​papers/​yourpaper''​
how_to_access_the_paper_svn.txt ยท Last modified: 2017/07/15 12:18 by kroening