
    <<RemoteTeXServerCommands.mesa>>
    <<Last changed by Pavel on May 23, 1985 1:28:11 pm PDT>>

    DIRECTORY
        TeXExport,
        ComputeServerControl
        ;

    RemoteTeXServerCommands: CEDAR PROGRAM
        IMPORTS TeXExport, ComputeServerControl =
        BEGIN
            TeXExport.TwiddlePascal[];

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

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

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