ThymeStarter.mesa
Created by Sindhu, October 18, 1985 5:45:22 pm PST
Pradeep Sindhu October 21, 1985 4:49:43 pm PDT
DIRECTORY
Commander, Rope, spGlobals, spMain, ViewerTools;
ThymeStarter:
CEDAR
PROGRAM
IMPORTS Commander, spGlobals, spMain, ViewerTools
= BEGIN OPEN spGlobals;
DragomanStartThyme: Commander.CommandProc = {
file: Rope.ROPE = "CmosInverter.thy";
handle: spGlobals.Handle ← spGlobals.MakeThymeViewers[];
ViewerTools.SetContents[handle.input, file];
spGlobals.NormalRun[handle: handle, background: FALSE, fork: FALSE];
};
Commander.Register["DragomanStartThyme", DragomanStartThyme, "Starts a single Dragoman simulation of Thyme"]
END.