Commit 2e7b39ef authored by MARCHE Claude's avatar MARCHE Claude
Browse files

plan doc

parent 6bc8c646
......@@ -2,7 +2,7 @@
\section{Compilation, Installation}
\section{The \texttt{why.conf} configuration file}
\section{Installation of external provers}
\section{The \texttt{why3} command-line tool}
......@@ -10,6 +10,9 @@
\section{The \texttt{why3ide} tool}
\section{The \texttt{why.conf} configuration file}
%%% Local Variables:
%%% mode: latex
Supports Markdown
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