mailing-list for TeXmacs Users

[Frank <address@hidden>]

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,