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"];