From 9bdaa212057cdd41ba416cc9f05167e91eeed4b3 Mon Sep 17 00:00:00 2001
From: filliatr
Date: Fri, 19 Nov 1999 17:01:43 +0000
Subject: module Pattern, Wcclausenv (interface) et Tacticals

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@126 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 Makefile | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

(limited to 'Makefile')

diff --git a/Makefile b/Makefile
index 833b2b9cd6..23c155586b 100644
--- a/Makefile
+++ b/Makefile
@@ -55,7 +55,8 @@ PROOFS=proofs/typing_ev.cmo proofs/tacred.cmo \
        proofs/macros.cmo proofs/tacinterp.cmo # proofs/clenv.cmo
 
 TACTICS=tactics/dn.cmo tactics/termdn.cmo tactics/btermdn.cmo \
-        tactics/nbtermdn.cmo tactics/stock.cmo
+        tactics/nbtermdn.cmo tactics/stock.cmo tactics/tacticals.cmo \
+        tactics/pattern.cmo 
 
 PRETYPING=pretyping/astterm.cmo
 
@@ -109,7 +110,7 @@ LPLIB = lib/doc.tex $(LIB:.cmo=.mli)
 LPKERNEL = kernel/doc.tex $(KERNEL:.cmo=.mli)
 LPLIBRARY = library/doc.tex $(LIBRARY:.cmo=.mli)
 LPPROOFS = proofs/doc.tex $(PROOFS:.cmo=.mli)
-LPTACTICS = tactics/doc.tex $(TCATICS:.cmo=.mli)
+LPTACTICS = tactics/doc.tex $(TACTICS:.cmo=.mli)
 LPTOPLEVEL = toplevel/doc.tex $(TOPLEVEL:.cmo=.mli)
 LPFILES = doc/macros.tex doc/intro.tex $(LPLIB) $(LPKERNEL) $(LPLIBRARY) \
 	  $(LPPROOFS) $(LPTACTICS) $(LPTOPLEVEL)
-- 
cgit v1.2.3