mailing-list for TeXmacs Users

[Nirmal Govind <address@hidden>]

Hi,

Under the Documents->Paragraph->Spacing, what's the difference between 
interline separation and interline spacing? And what are the units of the 
value that we should be entering for these? Say, I want double spacing 
between the lines, then how do I do this?

Thanks,
nirmal