etexteditor

Vocabulary

editors.etexteditor

Definition

IN: editors.etexteditor

SINGLETON: etexteditor

Methods

USING: editors editors.etexteditor kernel make math.parser ;

M: etexteditor editor-command
    [
        etexteditor-path ,
        [ , ] [ "--line" , number>string , ] bi*
    ] { } make ;