On Wed, Apr 20, 2011 at 19:15 -0700, you wrote: > need a pretty printer that enforces stuff like this. Yeah, we really need that. It's indeed already a mix of different styles. Robin -- Robin Sommer * Phone +1 (510) 722-6541 * robin at icir.org ICSI/LBNL * Fax +1 (510) 666-2956 * www.icir.org