diff options
| author | corbinea | 2003-07-02 09:27:37 +0000 |
|---|---|---|
| committer | corbinea | 2003-07-02 09:27:37 +0000 |
| commit | dc60bc77c8d9463c9410bccd7b1e77542c493c28 (patch) | |
| tree | 939f315cfed1d37d27973c8ea64076b2b8bf1a8d /Makefile | |
| parent | 303a60fb220af34b854115e4787962185e119816 (diff) | |
suppression de newtauto
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@4214 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'Makefile')
| -rw-r--r-- | Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -188,7 +188,7 @@ parsing/q_tactic.ml4: parsing/g_tactic.ml4 parsing/q_ltac.ml4: parsing/g_ltac.ml4 camlp4o -I parsing grammar.cma pa_ifdef.cmo pa_extend.cmo pr_o.cmo pr_extend.cmo -quotify -DQuotify -o parsing/q_ltac.ml4 -impl parsing/g_ltac.ml4 -SPECTAC= tactics/tauto.ml4 tactics/newtauto.ml4 tactics/eqdecide.ml4 +SPECTAC= tactics/tauto.ml4 tactics/eqdecide.ml4 USERTAC = $(SPECTAC) ML4FILES += $(USERTAC) tactics/extraargs.ml4 tactics/extratactics.ml4 \ tactics/eauto.ml4 |