kframework/k — pull request #835 by dwightguth (2014-08-13 16:15:07+00:00)
Title: add documentation to KompileOptions.Backend

@bmmoore please review