From d361ee5b960e1a54d451dc81557f19e504baa42a Mon Sep 17 00:00:00 2001 From: sacerdot Date: Fri, 20 May 2005 16:14:52 +0000 Subject: New command: "Print Ltac qualid" to print user defined tactics. git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@7053 85f007b7-540e-0410-9357-904b9bb8a0f7 --- .depend.camlp4 | 1 + 1 file changed, 1 insertion(+) (limited to '.depend.camlp4') diff --git a/.depend.camlp4 b/.depend.camlp4 index 9e69e8844..b29845a64 100644 --- a/.depend.camlp4 +++ b/.depend.camlp4 @@ -3,6 +3,7 @@ tactics/eqdecide.ml: parsing/grammar.cma tactics/extraargs.ml: parsing/grammar.cma tactics/extratactics.ml: parsing/grammar.cma tactics/eauto.ml: parsing/grammar.cma +toplevel/whelp.ml: parsing/grammar.cma contrib/omega/g_omega.ml: parsing/grammar.cma contrib/romega/g_romega.ml: parsing/grammar.cma contrib/ring/g_quote.ml: parsing/grammar.cma -- cgit v1.2.3