Enrico Forestieri wrote: > Yes, you're right. All theorem like environments accept an optional > argument. Updated patch attached.
You should also probably update the Format of the layout (or put in the Format parameter, if it's not yet there). Apart from this, it looks good. Jürgen
