kframework/k — pull request #1032 by dwightguth (2014-10-03 16:55:02+00:00)
Title: add pretty error messages for when backend does not support a tool

@yilongli please review