-- VerifyDF.Config, last edit February 4, 1983 6:02 pm by Schmidt
-- last edit April 12, 1983 12:37 pm by Paul Rovner
-- Pilot 6.0/ Mesa 7.0
-- the configuration for the VerifyDF program

VerifyDF: CONFIG LINKS: CODE
IMPORTS BufferDefs, ByteBlt, CIFS, Commander, ConvertUnsafe, Date, DateAndTimeUnsafe,
	Directory, File, FileLookup, 
	FileStream, Heap, IO, IOMisc,
	LongString, Process, PupDefs, Resource, Rope, RopeInline,
	Runtime, Space, -- STP, STPOps, -- 
	Stream, String, Time, Transaction, UnsafeStorage, UserCredentialsUnsafe, 
	UserTerminal,
	Format, PupStream
CONTROL VerifyDFImpl = {

VerifyDFImpl;
ProcBcdsImpl;
DFSubrImpl;
DFParserImpl;

SubrImpl;
UECPImpl;
CWFImpl;

--
STPSubrImpl;	-- exports CachedOpen in STPSubr

-- Leaf stuff
IFSFileImpl;
LeafSubrImpl;

FQImpl;


UnsafeSTPs;
}.