From 28000ead7870114795b21b3cc819aadc4dab329d Mon Sep 17 00:00:00 2001
From: ppedrot <ppedrot@85f007b7-540e-0410-9357-904b9bb8a0f7>
Date: Fri, 13 Jan 2012 18:38:38 +0000
Subject: Added a Btauto plugin, that solves boolean tautologies.

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

(limited to '.gitignore')

diff --git a/.gitignore b/.gitignore
index 32a40af67..0c8d63ae2 100644
--- a/.gitignore
+++ b/.gitignore
@@ -137,6 +137,7 @@ plugins/xml/dumptree.ml
 plugins/xml/xmlentries.ml
 plugins/extraction/g_extraction.ml
 plugins/rtauto/g_rtauto.ml
+plugins/btauto/g_btauto.ml
 plugins/romega/g_romega.ml
 plugins/setoid_ring/newring.ml
 plugins/firstorder/g_ground.ml
-- 
cgit v1.2.3