- priority: 5 --> 3
The linux version basically is no specific version. It just consists of the shell script that issues the appropriate java invocation. That's fine.
However, when displaying a process, an error message saying that the program "dot" could not be loaded, occurred. The reason was, that I did not have installed graphviz (sudo apt-get install dot). There could have been at least any word, e.g. in the FAQ about this requirement. Moreover there was a directory called dot containing some dlls and dot.exe. In consequence, I thought, it's not really available for Linux.
To sum up, the bug is, that not all requirements are checked when opening the program. Or at least the error messages are not specific enough. Maybe the shell script can check whether graphviz is installed and install it if needed.
The FAQ (http://prom.win.tue.nl/research/wiki/prom/faq) should get a similar entry for Linux instead of MacOS, as well.