kframework/k — pull request #1193 by dwightguth (2014-11-19 19:15:12+00:00)
Title: add parallelism to kompile with Ground.tbl

@radumereuta please review

This is the change I showed you before, just isolated and with your comment addressed.