On Sun, 2009-09-13 at 19:46 +0200, Claudius wrote: > Thanks from the translators (and lovers of correct punctuation),
Actually, I believe that the use of quotes, italics, etc. to distinguish between the use of a phrase and the mention of a phrase[1] is a style rule only. Matthew Bell [1] http://en.wikipedia.org/wiki/Use-mention_distinction _______________________________________________ josm-dev mailing list josm-dev@openstreetmap.org http://lists.openstreetmap.org/listinfo/josm-dev