Am 02.02.2011 um 13:26 schrieb Hans Hagen: > so it's time to move the letter catcodes into the other catcode vectors
well, i thought to keep _ for internal names only but if users stick to camel case it should work to make _ letter Wolfgang _______________________________________________ dev-context mailing list dev-context@ntg.nl http://www.ntg.nl/mailman/listinfo/dev-context
