From 04d66a258efb91e73c313b3315abd2810947028d Mon Sep 17 00:00:00 2001
From: pboutill <pboutill@85f007b7-540e-0410-9357-904b9bb8a0f7>
Date: Wed, 2 May 2012 17:11:21 +0000
Subject: Coqide coq lexer put one tag at the end of a sentence.

And that's all !
It erase the possibility of code folding...

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@15268 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 ide/tags.mli | 9 +--------
 1 file changed, 1 insertion(+), 8 deletions(-)

(limited to 'ide/tags.mli')

diff --git a/ide/tags.mli b/ide/tags.mli
index 5a5356193..b51e85e25 100644
--- a/ide/tags.mli
+++ b/ide/tags.mli
@@ -9,19 +9,12 @@
 module Script :
 sig
   val table : GText.tag_table
-  val kwd : GText.tag
-  val qed : GText.tag
-  val decl : GText.tag
-  val proof_decl : GText.tag
-  val comment : GText.tag
-  val reserved : GText.tag
+  val comment_sentence : GText.tag
   val error : GText.tag
   val to_process : GText.tag
   val processed : GText.tag
   val unjustified : GText.tag
   val found : GText.tag
-  val hidden : GText.tag
-  val folded : GText.tag
   val sentence : GText.tag
 end
 
-- 
cgit v1.2.3