mailing-list for TeXmacs Users

[Joris van der Hoeven <address@hidden>]

On Wed, Nov 01, 2006 at 09:38:28PM +0100, Nicolas Girard wrote:
> 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"

What about

        Help -> Manual -> editing tools
        Sections 5, 6, 7

Best wishes, Joris