kframework/java-semantics — pull request #16 by laurayuwen (2014-11-16 05:12:44+00:00)
Title: Tools for review

It seems that this pull request still contain the other commit for semantic reviews, I don't know how to get rid of that.
Anyway, I created semantics reviews first in a single commit and request.
This one, you can only look at commit: tools changes for review.