ekb_delete man page

ekb_delete — manual page for ekb_delete 0.1dev

Synopsis

ekb_delete [options] <name>

Description

ekb_delete 0.1dev

Remove the example <name> from an E knowledge base.

Options

-h

--help

Print a short description of program usage and options.

--version

Print the version number of the program.

-v

--verbose[=<arg>]

Verbose comments on the progress of the program. The short form or the long form without the optional argument is equivalent to --verbose=1.

-k <arg>

--knowledge-base=<arg>

Select the knowledge base. If not given, select E_KNOWLEDGE.

Reporting Bugs

Report bugs to <schulz@eprover.org>. Please include the following, if possible:

* The version of the package as reported by eprover --version.

* The operating system and version.

* The exact command line that leads to the unexpected behaviour.

* A description of what you expected and what actually happend.

* If possible all input files necessary to reproduce the bug.

Info

September 2016 ekb_delete 0.1dev User Commands