1EKB_DELETE(1)                    User Commands                   EKB_DELETE(1)
2
3
4

NAME

6       ekb_delete - manual page for ekb_delete 2.5-DEBUG
7

SYNOPSIS

9       ekb_delete [options] <name>
10

DESCRIPTION

12       ekb_delete 2.5-DEBUG
13
14       Remove the example <name> from an E knowledge base.
15
16       Options
17
18       -h
19
20       --help
21
22              Print a short description of program usage and options.
23
24       --version
25
26              Print the version number of the program.
27
28       -v
29
30       --verbose[=<arg>]
31
32              Verbose  comments on the progress of the program. The short form
33              or the long form without the optional argument is equivalent  to
34              --verbose=1.
35
36       -k <arg>
37
38       --knowledge-base=<arg>
39
40              Select the knowledge base. If not given, select E_KNOWLEDGE.
41

REPORTING BUGS

43       Report  bugs  to <schulz@eprover.org>. Please include the following, if
44       possible:
45
46       * The version of the package as reported by eprover --version.
47
48       * The operating system and version.
49
50       * The exact command line that leads to the unexpected behaviour.
51
52       * A description of what you expected and what actually happend.
53
54       * If possible all input files necessary to reproduce the bug.
55

57       Copyright 1998-2020 by Stephan Schulz, schulz@eprover.org,  and  the  E
58       contributors (see DOC/CONTRIBUTORS).
59
60       This  program  is  a part of the distribution of the equational theorem
61       prover E. You can find the latest version of the E distribution as well
62       as additional information at http://www.eprover.org
63
64       This program is free software; you can redistribute it and/or modify it
65       under the terms of the GNU General Public License as published  by  the
66       Free  Software Foundation; either version 2 of the License, or (at your
67       option) any later version.
68
69       This program is distributed in the hope that it  will  be  useful,  but
70       WITHOUT  ANY  WARRANTY;  without  even  the  implied  warranty  of MER‐
71       CHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU  General
72       Public License for more details.
73
74       You should have received a copy of the GNU General Public License along
75       with this program (it should be contained in the top level directory of
76       the  distribution in the file COPYING); if not, write to the Free Soft‐
77       ware  Foundation,  Inc.,  59  Temple  Place,  Suite  330,  Boston,   MA
78       02111-1307 USA
79
80       The original copyright holder can be contacted via email or as
81
82       Stephan  Schulz  DHBW  Stuttgart  Fakultaet  Technik  Informatik  Rote‐
83       buehlplatz 41 70178 Stuttgart Germany
84
85
86
87ekb_delete 2.5-DEBUG             January 2021                    EKB_DELETE(1)
Impressum