User Tools

Site Tools


how_to_access_the_paper_svn

How to access the paper SVN

1. Send your public key to Daniel

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