User Activity
-
Modified
a comment
on
ticket #59
on
Java Modeling Language (JML)
Nikos, did you download a new version of JML or something? I'm trying to install...
-
Posted
a comment
on
ticket #59
on
Java Modeling Language (JML)
I'm trying to install JML too, and get the same error: $java -jar openjml/openjml.jar...
Personal Data
- Username:
- mattiskan
- Joined:
- 2015-11-17 14:07:48
Projects
- No projects to display.