kframework/k — pull request #317 by radumereuta (2014-03-28 03:45:07+00:00)
Title: Fix regular expression. Adding the "|" operator to Token to allow for

String declarations.

This comes in response to one of the emails sent over the k-user mailing list asking for a way to declare their own types of strings. I had to ask Michael to modify the BasicParser grammar to allow for "|" inside Token.

Once this is merged I can generalize strings and respond to the user.