From 35dcc6d93a699884d516aa34206253e65933ce1f Mon Sep 17 00:00:00 2001
From: David Hauzar <david.hauzar@inria.fr>
Date: Tue, 17 Nov 2015 12:37:32 +0100
Subject: [PATCH] Documentation about counterexamples - draft of the structure.

---
 doc/manpages.tex | 14 ++++++++++++++
 1 file changed, 14 insertions(+)

diff --git a/doc/manpages.tex b/doc/manpages.tex
index 198a6ef98..d6462e0c8 100644
--- a/doc/manpages.tex
+++ b/doc/manpages.tex
@@ -439,6 +439,20 @@ are grouped together under several tabs.
   decision by clicking on it.
 \end{description}
 
+% \subsection{Displaying Counterexamples}
+% 
+% how to use counterexamples - explain labels, projections, the option --get-ce of why3prove and the setting in why3ide
+% 
+% problem with set logic and counterexamples
+% 
+% which provers
+% 
+% where it is displayed
+% 
+% how to interpret the display
+% 
+% example
+
 
 \section{The \texttt{bench} Command}
 
-- 
GitLab