Axiom to named axiom

#1

Starting from an axiom environment I can’t generate a “named” axiom via the Named item in the contextual menu, as one can do exempli gratia for theorems or remarks. Named, that is, the title to the enunciation environment becomes editable, and one could write “Principle” instead of Axiom.

It might be due to that

  1. axiom is based on render-theorem

  2. the group render-enunciation-tag, defined in , contains render-theorem, but the axiom environment isn’t included in the theorem group, but in the definition group

Does this make sense? Apart perhaps mix-ups between groups? We don’t need a render-definition tag because no environment uses that, but we still need to notify TeXmacs that axiom (together with definition and notation) should behave like theorem.