MakeDoPrivate.Mesa
Last Edited by: Spreitzer, February 20, 1986 6:42:53 pm PST
Mike Spreitzer July 28, 1986 7:43:13 pm PDT
Carl Hauser, April 11, 1985 3:34:27 pm PST
DIRECTORY BasicTime, CedarProcess, Commander, Icons, IO, List, MakeDo, RedBlackTree, Rope, TimeStamp;
MakeDoPrivate: CEDAR DEFINITIONS =
BEGIN OPEN MakeDo;
Definitions:
Current[n] = if Leaf[n]
then true
else let a = n.producer in
CorrectlyDerived[a]
' (