kframework/k — pull request #808 by radumereuta (2014-08-08 17:57:52+00:00)
Title: Ids should not be preceded by numbers either.

I just noticed that I was missing numbers in the precede restriction for Ids in the new parser.
@dwightguth please review.