-- VerifyDfDoc.tioga
-- last edited by vanLeunen December 19, 1983 1:54 pm
name  VerifyDF
<<syntax>>
<<VerifyDF dfFile>>
<<description>>
<<VerifyDF provides a command-line interface to the Verify of the DFTool.>>
<<examples>>
<<User is in the mood to verify his .df file from the CommandTool rather than the DFTool.>>
    <<% VerifyDF Thing >>
<<warnings>>
<<None.>>
<<stop/undo >>
<<Meaningless.>>
<<implementation >>
<<DoVerifyDF in DFCommands.mesa from DFCommands.df.>>
<<contact>>
<<vanLeunen>>
<<keyword hints>>
<<check, ensure>>
<<keywords>>
<<to be supplied by the Index Czar at the appropriate time in the future>>