kframework/k — pull request #901 by yilongli (2014-08-29 09:09:31+00:00)
Title: Reduce indexing time

not ready for review yet