Thursday, March 13, 2008

using JMLrelease.jar

first download JML 5.5 tar.gz.......then after extracting it go to /bin sub-folder and there open jml-release.jar, now you will get different option what u needed.

No comments: