kframework/k — pull request #818 by radumereuta (2014-08-11 01:07:14+00:00)
Title: Adding the 'noAutoReject' tag for Tokens. Also:

- fixing the check for empty productions to also consider the combination of notInRules and notInGround tags
- adding back the line from ant clean that removes the /basic directory from the code to avoid cleanup issues in git.

@grosu @dwightguth please review.