From 442feb2c07f8f5824e814bba504f02c2742637e2 Mon Sep 17 00:00:00 2001
From: letouzey
Date: Tue, 29 May 2012 11:08:09 +0000
Subject: Vernacexpr is now a mli-only file, locality stuff now in locality.ml

 Adds a directory ./intf for pure interfaces.

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@15367 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 CREDITS | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'CREDITS')

diff --git a/CREDITS b/CREDITS
index 35057ea8f6..c654db2ee7 100644
--- a/CREDITS
+++ b/CREDITS
@@ -12,7 +12,7 @@ The "Coq proof assistant" was jointly developed by
 
 All files of the "Coq proof assistant" in directories or sub-directories of
 
-  config dev ide interp kernel lib library parsing pretyping proofs
+  config dev ide interp intf kernel lib library parsing pretyping proofs
   scripts states tactics test-suite theories tools toplevel
 
 are distributed under the terms of the GNU Lesser General Public License 
-- 
cgit v1.2.3