kframework/k — pull request #863 by radumereuta (2014-08-21 04:53:26+00:00)
Title: Outer parser - improving lexical expressions and adding case insensitive keywords

@dwightguth please review.
- case insensitive Terminals. Just like strings but with single quote
- fixing and improving lexical expressions to match SDF. Allowing users to reference other lexical expressions.
- improved the error message when having an ambiguity between two constants.