Le 3 août 2019 à 05:02, Frank <address@hidden> a écrit :

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,