Miscellaneous


--purge-rules
Remove any statements involving implications
--purge
Remove any statement involving anything which is in class log:Chaff
--with
All following arguments are passed to the rules (available with os:argv built-in functio n) and are not interpreted by cwm.
--chatty=50
Verbosity levels can be set to 0 through 99.
--strings
Dump :s to stdout ordered by :k wherever { :k log:outputString :s }
--help
A more copmplete listing of command line arguments

(end of section)