kframework/k — pull request #797 by dwightguth (2014-08-06 15:48:23+00:00)
Title: Fix cygwin for k 3.4

I think we need to include this pull request in the release: Maude is currently broken on my version of windows.