kframework/c-semantics — pull request #59 by dwightguth (2014-11-21 19:23:27+00:00)
Title: update readme to refer to correct version in preparation for 3.4.0 relea...

...se

@chathhorn please review

Please let me know if you think there are any other places in the documentation that should be changed in preparation for the 3.4.0 release