TestDFClosure.cm
Bertrand Serlet October 27, 1986 4:21:27 pm PST
Install CommandToolProcedures
Run DFUtilitiesExtrasImpl DFClosureImpl TestDFClosure
← DFClosureImpl.EnumerateClosure["/Ivy/Serlet/Top/Serlet.df", FALSE, TestDFClosure.BringDefiningFile, TestDFClosure.BringDefiningImport, TestDFClosure.BringDefiningError, NIL, &stdout[]]
← DFClosureImpl.EnumerateClosure["/DATools/DATools6.1/Top/Sinix.df", FALSE, TestDFClosure.BringDAUserFile, TestDFClosure.BringDAUserImport, TestDFClosure.BringDefiningError, TestDFClosure.BringDAUserMessage, &stdout[]]
← DFClosureImpl.EnumerateClosure["/DATools/DATools6.1/Top/DAWorldMap.df", FALSE, TestDFClosure.BringDAUserFile, TestDFClosure.BringDAUserImport, TestDFClosure.BringDefiningError, TestDFClosure.BringDAUserMessage, &stdout[]]