mailing-list for TeXmacs Users

[Nicolas Girard <address@hidden>]

On Wednesday 01 November 2006 21:20, Jan Lellmann wrote:
> Hello,
>
> most of the time, M-* works (I'm guessing it's M, on Windows it's Alt-*).
>

Jan,
that's great, thanks, it does exactly what I wanted. I'm just wondering where 
did you see this shortcut, as I could'nt find it into the documentation:

  $ egrep -r "<key\|M-.*\*.*>" /usr/share/TeXmacs/doc/

If it's not documented, then I'd suggest to add it to the document named "the 
standard TeXmacs styles"

Nicolas