mailing-list for TeXmacs Users

[address@hidden]

----- Original Message -----
From: Joris van der Hoeven <address@hidden>
> > argument.  Can someone please tell me what the difference is between
> > active and active*?
> 
> Did you read all recent documentation about writing style files?

Yes.  The section of the manual about style files does not mention anything 
about active and active* keywords.  I double-checked...am I missing something?

The "Reference guide for standard TeXmacs primitives" says "Please document" 
right next to the active and active* primitives.

Salman