runtimeverification/javamop — pull request #56 by owolabileg (2014-09-03 05:40:15+00:00)
Title: adding file to be (potentially) processed into README at some point [DO NOT MERGE]

I promised to start this tonight. I will have to flesh this gradually over the next few days. I don't know if everyone can edit, but it'd be great if we can all help flesh this out somehow, or add comments on what you think should go in here.