As of june 1st, we will shut down our Subversion server. Only a small number of users have active repositories on the subversion server. GitLab is offered as an alternative service. Users of svn.science.ru.nl and svn.cs.ru.nl are requested to move their repositories. Instructions on how to proceed can be found on our Subversion page.