kframework/k — pull request #490 by radumereuta (2014-05-22 22:35:05+00:00)
Title: Added description for automatic keyword rejection in to-be-processed.txt.

Anyone who speaks better English than me, please review.