[Vsr-users] Uploading to the repository

[<le...@cs...>]

Dear colleagues,

Following up our last meeting, I've created in the repository a project
(directory) named "mondex" with corresponding subprojects for z-eves,
pi-calculus, event-b, raise, kiv, alloy, and other files.

To download files one just need to go to

http://svn.sourceforge.net/viewvc/vsr/

and browse it accordingly via web. An improved way to interface
with the repository, or indeed upload files is described below.

To upload files you need to:

1) register with sourceforge
2) send me your sourceforge user id to le...@cs...
3) download a svn service from http://subversion.tigris.org/
	The links for various platforms is at
http://subversion.tigris.org/servlets/NewsItemView?newsItemID=1685

4) download a svn client.
	For windows the nicest one is at http://tortoisesvn.tigris.org/
	For various other platforms
http://subversion.tigris.org/project_packages.html

Now you can use the SVN client to update (from) or commit (to)
the repository. Some general documentation on SVN (or CVS) can be
found at http://subversion.tigris.org/servlets/ProjectDocumentList

Please only upload files to the directory of your subproject (see
http://svn.sourceforge.net/viewvc/vsr/mondex/

If you find uploading a bit of a hassle, please feel free to ask
and I can try helping you through it. Preferably, use the vsr-users
mailing list so that everybody else can get it as well.

Best wishes,
Leo