DEFINITION BookCompiler; (* portable *)
 PROCEDURE Compile;
 PROCEDURE NewTextDoc;
 PROCEDURE Browse;
 PROCEDURE InsertCmd;

END BookCompiler.