kframework/k — pull request #1243 by grosu (2014-12-06 21:11:27+00:00)
Title: Fixed READMEs in lambda++

@dwightguth please take a quick look and merge. All these changes were triggered by the recent problem you found with the semantics of callcc in lambda++. I wonder whether we should not change the config.xml to test all these examples with --transition = computational in kompile and --search in krun (eventually).