does someone know, how to download ProM plugins from here: https://svn.win.tue.nl/repos/prom/Packages/
? A plugin is not working, and I got the recommendation to download it from the source and run ProM from the source to have access to all exceptions.
It would be really nice, if someone could explain me how to download and run sources. If I save them, they are just saved as text document. I have installed Eclipse. Do I need it to run the sources?