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