28 Jul
2006
28 Jul
'06
11:57 a.m.
Aditya Mahajan wrote:
On Fri, 28 Jul 2006, Aditya Mahajan wrote:
Isn't \type<<..>> be supposed to be equivalent to \type{..} ?
\title{some \type{thing} }
works perfectly but
Actually this does not work as expected. The font does not change to monotype. Is that delebrate?
no, a bug Hans ----------------------------------------------------------------- Hans Hagen | PRAGMA ADE Ridderstraat 27 | 8061 GH Hasselt | The Netherlands tel: 038 477 53 69 | fax: 038 477 53 74 | www.pragma-ade.com | www.pragma-pod.nl -----------------------------------------------------------------