mailing-list for TeXmacs Users

[Kris Kuhlman <address@hidden>]

Mingfeng Yang wrote:
> What's the unit for interline spacing in TeXmacs? And what's the 
> difference between "interline space" and "interline separation"?

I believe an "interline space" of 1.0fn would be what is usually 
considered double spacing.  I think "interline separation" is the 
minimum amount of clearance required between things that stick up from 
below and things that stick down from above (big fractions, etc).

Kris