-- file: TexExtensions.mesa
-- Pascal-to-Mesa translator output, translated at September 27, 1985 10:21:36 am PDT


DIRECTORY
  PascalBasic,
  PascalWizardFiles,
  TexTypes;

TexExtensions: DEFINITIONS IMPORTS  =
BEGIN OPEN PascalBasic, PascalWizardFiles, TexTypes;

 PrintWriteWhatsit: PROCEDURE[S: StrNumber,P: Halfword]
;

--:618----619:----1368:
 SpecialOut: PROCEDURE[P: Halfword];

 WriteOut: PROCEDURE[P: Halfword];

 OutWhat: PROCEDURE[P: Halfword];

--:1378----1396:
 PressOutWhat: PROCEDURE[P: Halfword]
;

 NewWhatsit: PROCEDURE[S: SmallNumber,W: SmallNumber];

--1350:-- NewWriteWhatsit: PROCEDURE[W: SmallNumber]
;

 DoExtension: PROCEDURE;

END.