mailing-list for TeXmacs Users

[vincent douce <address@hidden>]

hi
do you think in a future it would be possible inside TeXmacs to parameter the 
macros of theorem, propositions… (and create new easily) so to have something 
so beautiful as this :
https://www.math.u-bordeaux.fr/~npopoff/fichiers/doc_PTSI/ch6_Ensembles_logiques.pdf
(theorems with border, one color foreach type of macro, little unicode tiny 
symbols…)
it would be very great…
Vincent