name
VerifyDF
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
implementation
DoVerifyDF in DFCommands.mesa from DFCommands.df.
keyword hints
check, ensure
keywords
to be supplied by the Index Czar at the appropriate time in the future