Re: RefStyle Patch

[Jean-Pierre Chrétien]

Jean-Pierre Chrétien a écrit :

Richard Heck a écrit :

Are there other things besides theorems we should define that aren't in refstyle.cfg?

To be prettyref-coherent, lemmas.

Lemmas and theorems are OK now (but untranslated), thanks.

--
Jean-Pierre