kframework/k — pull request #786 by traiansf (2014-08-04 20:43:19+00:00)
Title: Changelog

Everybody interested, please review. Once this is merge we will release version 3.4