Yeah, that appears to be a bug, I was in touch with Hans a couple of
weeks ago about it.
But a fairly harmless one...
Best
Thomas
On Apr 17, 2005, at 4:26 PM, Idris Samawi Hamid wrote:
The bug is apparently in \type: it only generates one dash.
Best
Idris
