kframework/k — pull request #793 by dwightguth (2014-08-05 20:06:40+00:00)
Title: update documentation for K 3.4 release

@traiansf @grosu please review