[Texmacs-dev] Cleverref

[Bas Spitters]

I am going to ask a dangerous question:
Can we have latex feature X in texmacs?

This time X is cleverref.

It allows you to replace
Lemma \ref{one}
by
\cref{one}
and still obtain Lemma 1

This is very convenient when you decide to upgrade the Lemma by a Proposition.
I haven't looked at the implementation of this part of texmacs, so I am unsure 
how difficult it is.

[ftp://ftp.das.ufsc.br/pub/ctan/help/Catalogue/entries/cleveref.html
The cleveref package enhances LaTeX's cross-referencing features, allowing the
formatting of references to be determined automatically according to the type
of reference (equation, section, etc.). The format for each reference type can
be fully customised in the preamble of your document. In addition, cleveref
can typeset references to lists of multiple labels, automatically formatting
them according to their type, and collapsing sequences of numerically
consecutive labels to a reference range. Again, the multiple-reference
formatting is fully customisable. Though a number of other packages provide
similar features, all have certain deficiencies which cleveref attempts to
overcome.]