Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 2004-04-11 09:09:05 -0700 (Sun, 11 Apr 2004)
Revision: 5634
Log message:
Added a slot[str:s, width:n] term that acts as a hint to the formatter
that typesetting the str:s takes width:n units of horizontal space.
This partially addresses bug #176.
We should probably define a unicode[str:s, width:n] special term that
understands that the string is a unicode string.
The typesetter is always free to ignore the width:n hint.