mailing-list for TeXmacs Users

[Nirmal Govind <address@hidden>]

Hi,

It would be nice if the software would give the choice of a default file 
name (same as the .tm file name) when exporting a file to some other 
format, e.g. postscript.. this would reduce the effort needed in typing out 
(possibly) long file names again while exporting... so if I were editing 
my_file.tm, and I choose to export to Postscript, then it should default to 
my_file.ps ...

Thanks,
nirmal