diff options
author | sacerdot <sacerdot@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2004-11-05 17:27:02 +0000 |
---|---|---|
committer | sacerdot <sacerdot@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2004-11-05 17:27:02 +0000 |
commit | 4d59b744b474713bad380be8039b618430e920c4 (patch) | |
tree | 697c3ef7d399f5f9681050ae54a4a61b60de4dfa /Makefile | |
parent | f9105741a0186b1a8054a1b4b99752b669a50ab7 (diff) |
autorewrite moved from HIGHTACTICS to TACTICS (to implement Printing
functions)
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@6279 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'Makefile')
-rw-r--r-- | Makefile | 6 |
1 files changed, 3 insertions, 3 deletions
@@ -201,7 +201,7 @@ TACTICS=\ tactics/dhyp.cmo tactics/auto.cmo \ tactics/setoid_replace.cmo tactics/equality.cmo \ tactics/contradiction.cmo tactics/inv.cmo tactics/leminv.cmo \ - tactics/tacinterp.cmo + tactics/tacinterp.cmo tactics/autorewrite.cmo TOPLEVEL=\ toplevel/himsg.cmo toplevel/cerrors.cmo toplevel/class.cmo \ @@ -216,8 +216,8 @@ TOPLEVEL=\ toplevel/coqinit.cmo toplevel/coqtop.cmo HIGHTACTICS=\ - tactics/autorewrite.cmo tactics/refine.cmo \ - tactics/extraargs.cmo tactics/extratactics.cmo tactics/eauto.cmo + tactics/refine.cmo tactics/extraargs.cmo \ + tactics/extratactics.cmo tactics/eauto.cmo SPECTAC= tactics/tauto.ml4 tactics/eqdecide.ml4 USERTAC = $(SPECTAC) |