When pressing C-c C-e, the label for the axiom environment will be automatically numbered based on the current document, but the label for the assumption environment requires manual input. Both environments are defined in the document.
I don't know what the difference is. Am I missing something in my .emacs file? Any help is greatly appreciated.
[Prev in Thread]
[Next in Thread]
[AUCTeX] Adding new environments with label support,