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.