From de0357106fb2ce8918f666d2f237d04dd3636491 Mon Sep 17 00:00:00 2001
From: gareuselesinge
Date: Thu, 12 Sep 2013 16:32:07 +0000
Subject: CoqIDE: show number of proofs being checked in background

good test: Nijmegen/QArithSternBrocot/Zaux.v

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@16773 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 lib/interface.mli | 1 +
 1 file changed, 1 insertion(+)

(limited to 'lib/interface.mli')

diff --git a/lib/interface.mli b/lib/interface.mli
index 560d80d83f..144b98252b 100644
--- a/lib/interface.mli
+++ b/lib/interface.mli
@@ -125,6 +125,7 @@ type feedback_content =
   | Processed
   | GlobRef of Loc.t * string * string * string * string
   | ErrorMsg of Loc.t * string
+  | InProgress of int
 
 type feedback = {
   id : edit_or_state_id;
-- 
cgit v1.2.3