mailing-list for TeXmacs Users

[Frank <address@hidden>]

Thanks.

Now I understand how to do that. I need to click "T" in that tool bar and then I can customize the proof-text. It will be automatically converted into codes like <render-proof|...|>

Best wishes

Le 26/04/2019 à 15:54, Basile Audoly a écrit :

Dear Frank,

inside the Proof environment, use the wrench icon > Edit source… to reveal the source code that produces the proof environment: it is <render-proof |  |  >

Just use this render-proof command, supplying your custom heading as the second argument, and the content of the proof as the third argument.

This yields

<\theorem>

  This is a theorem<label|thm:foo>

</theorem>

<render-proof|Proof of theorem<nbsp><reference|thm:foo>|This is the proof>

Basile

Le 26 avr. 2019 à 15:07, Frank <address@hidden> a écrit :

Dear all,

Sorry for a silly question. I want something similar to \begin{proof}[Proof of Theorem {{\ref{thm:foo}}}]. How can I do that in TeXmacs?

If I customize the proof text such that it includes a reference, TeXmacs crashes.

Best wishes,

--
Best wishes!
Yours,

-- 
Best wishes!
Yours,