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

From: Hans Hagen Subject: Re: [NTG-context] Re: referencing line numbers of a typing environment Date: Tue, 08 Apr 2003 18:37:12 +0200 [..]

this is a side effect:

option=commands =>

<>

so, in commands mode the << and >> act as braces

option=slanted =>

<<this comes out slanted>>

and here it does a font switch.

Ahh, I understand. Thank you.

Maybe we need another option -)

I didn't find the "<< >> as braces" in the docs. IMHO mentioning it in the docs would suffice. Marko