mailing-list for TeXmacs Users

[Jeremy Henty <address@hidden>]

I would like to have lists that are distinguished by prefixes on their
labels, ie.

    Here's a list of axioms:
        Ax-1 ...
        Ax-2 ...
    and here are some of their consequences 
        Thm-1 ...
        Thm-2 ...
        Thm-3 ...

I need the prefixes to show up in references, so I can write

    The consequence of adding Ax-2 is...

where "Ax-2" is a reference to a label in the first list.

Any suggestions?

Jeremy Henty