kframework/k — pull request #1265 by dwightguth (2014-12-19 16:36:15+00:00)
Title: update changelog and poms for release version 3.5

I ended up doing all three sections of the changelog diffs because I just wanted to get through it and I got in early today. @yilongli @traiansf if you have completed any portion of your versions, please check to make sure that I am not missing anything that you put in.

Once this is merged I will start the release process.