kframework/k — pull request #371 by grosu (2014-04-14 03:37:49+00:00)
Title: Imppp

Updated IMP++ in the tutorial to use the unified builtins.

However, it seems that `krun spawn.imp --search` does not work. It given no results, which is wierd.

Andrei Stefanescu, Traian, and Yilong, can you please review this and check what's the problem with `--search`?

Thanks,
Grigore

btw: I ran into several errors and enhancement opportunities, which I will report separately as issues.