runtimeverification/javamop — pull request #151 by xiaohe27 (2014-10-24 19:13:58+00:00)
Title: Document

As suggested by Grigore, we can assume the later release of RVM's user version will even remove the version number of the libraries. @seriousamlqz @kheradmand