[NTG-context] Re: referencing line numbers of a typing environment

Marko Schuetz writes: Hello Hans, Marko,

...

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