updated docs
authorblanchet
Fri Jan 04 19:00:49 2013 +0100 (2013-01-04)
changeset 50720834847691d99
parent 50719 58b0b44da54a
child 50721 69d240195424
updated docs
NEWS
src/Doc/Sledgehammer/document/root.tex
     1.1 --- a/NEWS	Fri Jan 04 19:00:49 2013 +0100
     1.2 +++ b/NEWS	Fri Jan 04 19:00:49 2013 +0100
     1.3 @@ -139,7 +139,7 @@
     1.4      Sledgehammer manual for details.
     1.5    - Polished Isar proofs generated with "isar_proofs" option.
     1.6    - Rationalized type encodings ("type_enc" option).
     1.7 -  - Renamed "kill_provers" subcommand to "kill".
     1.8 +  - Renamed "kill_provers" subcommand to "kill_all".
     1.9    - Renamed options:
    1.10        isar_proof ~> isar_proofs
    1.11        isar_shrink_factor ~> isar_shrink
     2.1 --- a/src/Doc/Sledgehammer/document/root.tex	Fri Jan 04 19:00:49 2013 +0100
     2.2 +++ b/src/Doc/Sledgehammer/document/root.tex	Fri Jan 04 19:00:49 2013 +0100
     2.3 @@ -675,7 +675,7 @@
     2.4  currently running automatic provers, including elapsed runtime and remaining
     2.5  time until timeout.
     2.6  
     2.7 -\item[\labelitemi] \textbf{\textit{kill}:} Terminates all running
     2.8 +\item[\labelitemi] \textbf{\textit{kill\_all}:} Terminates all running
     2.9  threads (automatic provers and machine learners).
    2.10  
    2.11  \item[\labelitemi] \textbf{\textit{refresh\_tptp}:} Refreshes the list of remote
    2.12 @@ -711,9 +711,6 @@
    2.13  \item[\labelitemi] \textbf{\textit{running\_learners}:} Prints information about
    2.14  currently running machine learners, including elapsed runtime and remaining
    2.15  time until timeout.
    2.16 -
    2.17 -\item[\labelitemi] \textbf{\textit{kill\_learners}:} Terminates all running
    2.18 -machine learners.
    2.19  \end{enum}
    2.20  
    2.21  Sledgehammer's behavior can be influenced by various \qty{options}, which can be