mailing-list for TeXmacs Users

[Lionel Elie Mamane <address@hidden>]

Hi,

Has "extern-exec" been renamed and not updated in the documentation?
To what? If anybody has some insight...

TeXmacs/doc/devel/plugin/customization.en.tm says:

 Inversily, when the cursor is inside a session of your system, you may use
 the <name|Scheme> command:

 <\verbatim>
  \ \ \ \ (extern-exec plugin-command)
 </verbatim>

 in order to execute a command of your system.

But when I try that, I get the Scheme error:

 <unnamed port>:1:32: In expression (extern-exec "foo"):
 <unnamed port>:1:32: Unbound variable: extern-exec


Thanks in advance for your help,

-- 
Lionel