Last modified on Mon Nov 1 10:01:12 1993 by luca
MODULE========= Add or remove imports here ========= ==============================================; IMPORT ObliqOnline; Main 
CONST Greetings =
    "  obliq -min  (obliq with minimum libraries) (say \'help;\' for help)";
  PROCEDURE RegisterLibraries () =
  BEGIN
========= Add or remove libraries here =========
================================================
END RegisterLibraries; BEGIN ObliqOnline.Setup(); RegisterLibraries(); ObliqOnline.Interact(ObliqOnline.New(Greetings)); END Main.