kframework/k — pull request #335 by dwightguth (2014-04-01 20:53:06+00:00)
Title: modify installation instructions

@grosu please review.