Reducing tab size

Sean Egan seanegan at
Mon Aug 6 19:18:58 EDT 2007

On 8/6/07, Lukas Barth <tinloaf at> wrote:
> But in any case I think none of these text decorations should have two
> meanings. ;)

I agree. I don't think that italics should mean 'state change'


More information about the Devel mailing list