From 596ee07d61a2aa4a3f4acf0e3b2806d11f60695c Mon Sep 17 00:00:00 2001
From: filliatr
Date: Wed, 8 Sep 1999 13:56:32 +0000
Subject: changements dans les grammaires

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

(limited to 'dev')

diff --git a/dev/changements.txt b/dev/changements.txt
index 039fcf210f..2bdcfbc4a3 100644
--- a/dev/changements.txt
+++ b/dev/changements.txt
@@ -2,15 +2,12 @@
 Changements d'organisation / modules :
 --------------------------------------
 
-  AVANT					APRÈS
-  ================================	===============================
-  Std, More_util			lib/util.ml
+  Std, More_util		-> lib/util.ml
 
-  Names					kernel/names.ml et kernel/sign.ml
+  Names				-> kernel/names.ml et kernel/sign.ml
     (les parties noms et signatures ont été séparées)
 
 
-
 Changements dans les types de données :
 ---------------------------------------
   dans Generic: free_rels : constr -> int Listset.t
@@ -20,6 +17,7 @@ Changements dans les types de donn
   environment    ->  context
   context        ->  typed_type signature
 
+
 Changements dans les fonctions :
 --------------------------------
 
@@ -55,3 +53,13 @@ Changements dans les fonctions :
 	  type_of_type     ->  type_of_sort
 	  fcn_proposition  ->  type_of_type
 
+
+Changements dans les grammaires
+-------------------------------
+
+ . le lexer (parsing/lexer.mll) est maintenant un lexer ocamllex
+
+ . attention : LIDENT -> IDENT  (les identificateurs n'ont pas de
+                                 casse particulière dans Coq)
+		
+	
-- 
cgit v1.2.3