
    <<LocalTeXCommands.mesa>>
    <<Last changed by Pavel on May 23, 1985 1:27:52 pm PDT>>

    DIRECTORY
        TeXExport,
        Commander
        ;

    LocalTeXCommands: CEDAR PROGRAM
        IMPORTS TeXExport, Commander =
        BEGIN
            TeXExport.TwiddlePascal[];

            Commander.Register[
            key: "TeX",
            proc: TeXExport.ExclusiveProc,
            doc: "Runs TeX, a document compiler",
            clientData: NEW[BOOL_FALSE],
            interpreted: FALSE];

            Commander.Register[
            key: "IniTeX",
            proc: TeXExport.ExclusiveProc,
            doc: "Runs initialising version of TeX, a document compiler",
            clientData: NEW[BOOL_TRUE],
            interpreted: FALSE];

            Commander.Register[
            key: "InterruptTeX",
            proc: TeXExport.InterruptTex,
            doc: "Asks TeX82 to pause"];
        END.