kframework/k — pull request #258 by grosu (2014-03-01 22:14:25+00:00)
Title: Renamed and upated the tutorial README files (now README.md)

Lots of low-level and boring changes to the README files in the tutorial. Now they are all in the MD format, so they should be easier to process.