16 Gennaio 2011 alle 14:19
#54430
::
Penso di aver trovato l’inghippo: le variabili sono case sensitive, tu hai impostato reftex-plug-into-AUCTeX su non-nil ma con
`(setq reftex-plug-into-auctex t)`
ma `plug-into-AUCTeX’ è diverso da `plug-into-auctex’. Metto il corretto (vedi manuale di AUCTeX: http://www.gnu.org/software/auctex/manual/reftex.html#SEC50)
`(setq reftex-plug-into-AUCTeX t)`
a me funziona (più o meno perché mi suggerisce l’etichetta `sec’ per l’ambiente `thm’, forse c’è ancora qualcosa da correggere)