Hi. There is a small bug in the URL in the subject: `The two occurrences of "\377"...` There is only one occurrence of \377. There were two occurences in a previous version of the grammar, where the rule for `escape` was: {unicode}|\\[ -~\200-\377] instead of {unicode}|\\[^\r\n\f0-9a-f] Manlio PerilloReceived on Tuesday, 30 December 2008 16:39:46 UTC
This archive was generated by hypermail 2.3.1 : Monday, 2 May 2016 14:27:42 UTC