At 15:12 +0100 98/06/29, Javier Bezos wrote:
>The finishing char can be add on the fly.
..
>\def\getargspec#1{\expandafter\@getargspec\string#1\\}
> %^^
> \catcode`\:=12
> \def\@getargspec#1#2:#3\\{Command ``#2'' has argspec #3!}
> %^^
So I got lost in the TeX-mech's; simply drop this my argspec suggestion then.