From 70cb424b02e3c8774c4b6c04b3c2d3b68138cbef Mon Sep 17 00:00:00 2001 From: herbelin Date: Fri, 7 Jan 2000 22:29:07 +0000 Subject: Restructuration diverses git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@269 85f007b7-540e-0410-9357-904b9bb8a0f7 --- .depend.coq | 1 + 1 file changed, 1 insertion(+) (limited to '.depend.coq') diff --git a/.depend.coq b/.depend.coq index 6515baa6b..1f1fc0a93 100644 --- a/.depend.coq +++ b/.depend.coq @@ -12,6 +12,7 @@ theories/Init/Datatypes.vo: theories/Init/Datatypes.v test-suite/bench/lists_100.vo: test-suite/bench/lists_100.v test-suite/bench/lists-100.vo: test-suite/bench/lists-100.v syntax/PPTactic.vo: syntax/PPTactic.v +syntax/PPConstr.vo: syntax/PPConstr.v syntax/PPCommand.vo: syntax/PPCommand.v syntax/PPCases.vo: syntax/PPCases.v syntax/MakeBare.vo: syntax/MakeBare.v -- cgit v1.2.3