mailing-list for TeXmacs Users

[Joris van der Hoeven <address@hidden>]

On Sun, 15 Feb 2004, Torsten Dahlen wrote:
> I'm doing a History research paper and it needs to be written with
> double spacing but I can't find any
> such function. Would love a quick answer ;)

What about

        Document -> Paragraph -> Spacing -> Interline space...
        1fn

It is true that we might put this directly into the menus.