mailing-list for TeXmacs Users

[address@hidden]

Hello,

I just searched the docs and mailingslist how I can insert Date and Time in 
the title. I know that I can insert the date, but is time not possible? 
I print a lot of different versions of an texmacs document per day and it's 
difficult to differ them without any time information. Or is it possible to 
print something like a revision number in the title page?

Thx for helping
Marten