--quiet-mode this is about the verbosity of the output

jonaprieto / online-atps

Run ATPs from SystemOnTPTP

MIT License

6 stars 1 forks source link

--quiet-mode this is about the verbosity of the output #25

Closed jonaprieto closed 7 years ago

jonaprieto commented 7 years ago

This option was replaced by --debug to print out information about the options values given by the user. See 8d83f2d6d84d07005182a388e392cced99a3e59e