On Mon, Aug 25, 2014 at 10:16:33PM +0100, Thomas Adam wrote: > > Er, my uses of STRING up to now mean just "something that I don't > > know how to define at the moment". :-) > > Heh! In that case, I'll use it as a placeholder as well.
I've pushed an attempt to define character classes, single character quoting, unqouted and quoted strings, STRING and TOKEN. Note that we need to go over the actual uses of STRING to see whether they should be using something else. Ciao Dominik ^_^ ^_^ -- Dominik Vogt
