mailing-list for TeXmacs Users

[Frank <address@hidden>]

Dear all,

I see that when I use amsart as the document style and include some 
theorems, texmacs will generate a LaTeX file with document style amsart 
and loading the package theorem, which results in a conflict. I don't 
know how to fix it. Thanks for any help.

Best wishes,