Our faculty has its own subversion server:

What is subversion

Subversion is a version control system, similar to CVS. You can find information about Subversion in the Version control with Subversion book, which is freely available online.

How Subversion is implemented

We use a standard https subversion server and have created a custom admin tool that allows users to change access permissions and change other repository settings (such as email notification of changes).

Browsing repositories

Here is the list of repositories, from where you can browse their contents, depending on permissions.

Maintaining repositories

Editing repository settings can be done on the subversion server by people designated as administrators.

Editing repositories

For a quick subversion tutorial, see the page on editing repositories.

Planned maintenance

The service is interrupted each night to take a snapshot.
This happens from 04:40 to 04:50 hours local time,
that is timezone Europe/Amsterdam.

Contact us | Webmaster

Questions? Mail to