mailing-list for TeXmacs Users

["Sam Liddicott" <address@hidden>]

Currently I use this to find the number of args to an xargs macro:

<length|<map-args|identity|tuple|args>>

it seems wasteful, but

<length|args>

crashes with a segfault.

Does anyone have a decent way to get the number of xargs?

Anyway, here is an xargs macro, like "key" which takes any number of 
arguments, each being a key.

Key's whose labels are more than one character are surrounded by 
white-space.

It makes it easier to specify long sequences of key-strokes.

<assign|keys|<xmacro|args|<with|c|0|m|<length|<map-args|identity|tuple|args>>|<while|<less|<value|c>|<value|m>>|<if|<greater|<value|c>|0>|<if|<greater|<length|<arg|args|<value|c>>>|1>|
>><key|<arg|args|<value|c>>><if|<less|<plus|<value|c>|1>|<value|m>>|<if|<and|<greater|<length|<arg|args|<value|c>>>|1>|<not|<greater|<length|<arg|args|<plus|<value|c>|1>>>|1>>>|
>><assign|c|<plus|<value|c>|1>>>>>>

Sam