How to create label based on filename with reftex?

Question

I'm using reftex under emacs. In my document, my label policy is the following :

\label{<buffer name>:<env>:<key>}

for example

\label{derivability:thm:Rolle}

Is there a way to do that automatically with reftex ?

Thanks you for any advice, link or documentation...

Answer 1

RefTeX customization -> RefTeX Label Support -> Reftex Defining Label Environments -> Reftex Label Alist. Change Label prefix string (for every entry). Use %f for filename (extension will be stripped); for details, see the documentation in the customization buffer.