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

[Uwe Brauer]

>>> "AE" == Arash Esbati <arash@gnu.org> writes:

Hi Arash

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. So I gave you nice
solution a try
> Uwe Brauer <oub@mat.ucm.es> writes:
>>>>> "AE" == Arash Esbati <arash@gnu.org> writes:
>> 
>>> Also write the corresponding AUCTeX style file ub-thmtools-envs.el and
>>> put it where AUCTeX can find it:
>> 
>>> (TeX-add-style-hook
>>> "ub-thmtools-envs"
>>> (lambda ()
>>> (TeX-run-style-hooks "thmtools")
>> 
>>> ;; Tell AUCTeX
>>> (let ((envs '(("cor" . "cor")
>>> ("lem" . "lem")
>>> ("prop" . "prop")
>>> ("thm" . "thm"))))
>>> (dolist (env envs)
>>> (LaTeX-add-thmtools-declaretheorems env)

> Sorry, the line above should read:

>           (LaTeX-add-thmtools-declaretheorems (car env))

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.

Uwe 


-- 
Warning: Content may be disturbing to some audiences
I strongly condemn Putin's war of aggression against the Ukraine.
I support to deliver weapons to Ukraine's military. 
I support the ban of Russia from SWIFT.
I support the EU membership of the Ukraine. 
https://addons.thunderbird.net/en-US/thunderbird/addon/gmail-conversation-view/

smime.p7s
Description: S/MIME cryptographic signature