ProM has moved to GitHub

The ProM packages have been moved from SVN to GitHub. So far, 35 packages have been transferred including the SVN history. This move was necessary as the SVN repository at the Math&CS department at TU/e will be taken down in the near future. As a result, the URLs https://svn.win.tue.nl/repos/prom/ (the SVN repository) and https://svn.win.tue.nl/trac/prom/ (the Read More …