From 7a7dd14e763d13887101834fc2288046740cb8a2 Mon Sep 17 00:00:00 2001
From: Enrico Tassi <Enrico.Tassi@inria.fr>
Date: Tue, 24 Dec 2013 18:12:26 +0100
Subject: CoqIDE: new feedback "incomplete" to signal partial Qed

---
 ide/tags.mli | 1 +
 1 file changed, 1 insertion(+)

(limited to 'ide/tags.mli')

diff --git a/ide/tags.mli b/ide/tags.mli
index e2447aabe..886170360 100644
--- a/ide/tags.mli
+++ b/ide/tags.mli
@@ -14,6 +14,7 @@ sig
   val error_bg : GText.tag
   val to_process : GText.tag
   val processed : GText.tag
+  val incomplete : GText.tag
   val unjustified : GText.tag
   val found : GText.tag
   val sentence : GText.tag
-- 
cgit v1.2.3