Subversion instructions

Subversion is the version control system, which allows several people to work on the same project and backs up the previous versions.

To edit a project, first of all, you have to check it out (download):

svn checkout --username username --password password
You can skip --password because Subversion will ask you to enter it, anyway. You should use URL starting with https://, not the usual http://, to take advantage of SSL authentication (additional protection against somebody sniffing your password). Since the SSL certificate is self-signed, your browser or Subversion client might ask you if you want to accept it (you should).

Then, you edit the files. To change the contents of directories, you have to use these commands:

svn add filename
svn delete filename
svn copy filename1 filename2
svn move filename1 filename2
Finally, you have to commit (save) your changes, with a message for future generations:
svn commit common/solve_all_problems.m -m "Added more solutions"
If you get an error, it means that somebody else is editing the same file. Then you have to update the file first, before committing. Don't worry, your changes won't be lost -- this will only update the part of the file that you didn't edit:
svn update common/solve_all_problems.m
For help on any SVN command, type:
svn help command
If you use vlf username, you do not have the write access, so you cannot use the commit command. However, you can use svn checkout and svn update to keep up to the latest version. For more information on Subversion: