kframework/k — pull request #1168 by radumereuta (2014-11-10 20:12:57+00:00)
Title: WIndowfying the maude paths on windows.

@dwightguth please review.
We should also consider having Jenkins run all the tests at least once per day, on all platforms.