<> <> <> 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.