Re: problems with thmstools (and automatic insertion of labels (reftex)

[Arash Esbati]

Hi Uwe,

Uwe Brauer <oub@mat.ucm.es> writes:

>>>> "AE" == Arash Esbati <arash@gnu.org> writes:
>
> I had so far tried to solve my problem by 
>
> (defun my-set-latex-labels ()
>   (interactive)
>   (setq LaTeX-label-alist
>                '(("cor" . "cor:")
>                ("assum" . "assum:")
>                ("thm" ."thr:")
>                ("prop" . "prop:")
>                ("lem"  "lem:")
>                ("defn"  "def:"))))
>
>
> (add-hook 'LaTeX-mode-hook 'my-set-latex-labels)
>
>
> Which turned out to be a stupid idea because, then, when inserting an
> equation, automatic labelling was not longer active.

Yes, you should append your entries to `LaTeX-label-alist' instead of
overwriting it with `setq'.

> Ok but still I cannot compile the file (which is always a bad sign, I
> think because LaTeX-add-thmtools-declaretheorems is defined in 
> thmtools which is not provided.
>
> ,----
> | In end of data:
> | ub-thmtools.el:51:9: Warning: the function
> |     ‘LaTeX-add-thmtools-declaretheorems’ is not known to be defined.
> `----
>
> Not sure whether it is wise to ignore that error.

The warning is actually harmless.  You can avoid it by declaring the
function in your style file top level like this:

(declare-function LaTeX-add-thmtools-declaretheorems "thmtools")

Best, Arash