* Tab Atkins Jr. wrote: >It's not too important that digits be unquoted. Most list-styles >don't use the ascii digits anyway; the non-english numerics use >characters that can tokenize as idents, right? They do, yes. -- Björn Höhrmann · mailto:bjoern@hoehrmann.de · http://bjoern.hoehrmann.de Am Badedeich 7 · Telefon: +49(0)160/4415681 · http://www.bjoernsworld.de 25899 Dagebüll · PGP Pub. KeyID: 0xA4357E78 · http://www.websitedev.de/Received on Thursday, 9 September 2010 20:39:24 GMT
This archive was generated by hypermail 2.3.1 : Tuesday, 26 March 2013 17:20:31 GMT