Commit f966881d authored by MARCHE Claude's avatar MARCHE Claude

document "make obsolete" tool

parent cf1b77f1
......@@ -95,12 +95,12 @@
** add a tag to the git repository
** The next commit : increment de why3 version
* document "Make obsolete" (A)
* Distribution of examples: we should distribute those who have an xml file
under git, and distribute the XML and Coq proofs
(JC)
* DONE document "Make obsolete" (A+C)
* DONE update IDE section of starting.tex (C)
* DONE update doc for why3replayer
......
......@@ -284,7 +284,11 @@ the actions of the various menus and buttons of the interface.
\end{description}
\paragraph{Menu \textsf{Tools}}
A copy of the tools already available in the left toolbar
A copy of the tools already available in the left toolbar, plus:
\begin{itemize}
\item[Mark as obsolete] marks all the proof as obsolete. This allows to
replay every proofs.
\end{itemize}
\paragraph{Menu \textsf{Help}}
A very short online help, and some information about this software.
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment