runtimeverification/javamop — pull request #89 by owolabileg (2014-09-27 08:13:19+00:00)
Title: New README.md

@seriousamlqz, @yzhang90, @grosu Please review

@grosu, please assign someone who knows better than me to write the Static Weaving Section: I don't use that option.