kframework/k — pull request #419 by radumereuta (2014-05-05 22:49:58+00:00)
Title: Apparently you can write how many times you want a pattern to be repeated

This makes the regular expression for strings (java version at least) more readable.