From 4318eefacae280fed3a159acfede35c568b2942b Mon Sep 17 00:00:00 2001
From: herbelin
Date: Thu, 2 Dec 1999 22:58:48 +0000
Subject: Modifs suite à intégration de class.ml

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@192 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 dev/changements.txt | 3 +++
 1 file changed, 3 insertions(+)

(limited to 'dev')

diff --git a/dev/changements.txt b/dev/changements.txt
index 80698a0be8..92251833f9 100644
--- a/dev/changements.txt
+++ b/dev/changements.txt
@@ -51,6 +51,9 @@ Changements dans les fonctions :
 	  mis_arity      ->  instantiate_arity
 	  mis_lc	 ->  instantiate_lc	
 
+	Ex-Environ	 
+	  mind_path      -> Global.lookup_mind
+
 	Printer
 	  gentermpr	->   gen_pr_term
 
-- 
cgit v1.2.3