![](https://secure.gravatar.com/avatar/6af1f724a401c9f6f746a973f33ff595.jpg?s=120&d=mm&r=g)
8 Apr
2003
8 Apr
'03
11:49 a.m.
Marko Schuetz
Maybe we need another option -)
Yes, please :) I was playing with this yesterday, but couldn't think of another name. Perhaps options=nogroups disables << and >>?
I didn't find the "<< >> as braces" in the docs. IMHO mentioning it in the docs would suffice.
It is mentioned in the source ;-) and in cont-en?.pdf in chpater 5.8, but under \type{} and not \starttyping Patrick