16 Gennaio 2011 alle 15:11
#54432
::
Ho riprovato a mettere al posto del mio .emacs i tuoi due file di inizializzazione con l’unica modifica `auctex’ → `AUCTeX’ e inserendo l’ambiente `thm’ mi aggiunge automaticamente l’etichetta `\label{T:1}’ (non so perché prima mi avesse messo `sec’, forse avevo fatto qualche esperimento di troppo; ora però funziona tutto correttamente). Hai riavviato Aquamacs dopo la modifica (oppure ricaricato il contenuto dei file di inizializzazione?)?