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
---
 dev/changements.txt | 17 ++++++++++++++++-
 1 file changed, 16 insertions(+), 1 deletion(-)

(limited to 'dev')

diff --git a/dev/changements.txt b/dev/changements.txt
index d13fb1e837..3ea6557baa 100644
--- a/dev/changements.txt
+++ b/dev/changements.txt
@@ -90,7 +90,22 @@ Changements dans les grammaires
 
  . attention : LIDENT -> IDENT  (les identificateurs n'ont pas de
                                  casse particulière dans Coq)
-		
+
+ . Le mot "command" est remplacé par "constr" dans les noms de
+ fichiers, noms de modules et non-terminaux relatifs au parsing des
+ termes; aussi les changements suivants "COMMAND"/"CONSTR" dans
+ g_vernac.ml4, VARG_COMMAND/VARG_CONSTR dans vernac*.ml*
+
+ 
+
+Changements dans le pretty-printing
+-----------------------------------
+
+ . Découplage de la traduction de constr -> rawconstr (dans detyping)
+    et de rawconstr -> ast (dans termast)
+ . Déplacement des options d'affichage de printer vers termast
+ . Déplacement des réaiguillage d'univers du pp de printer vers esyntax
+
 	
 Changements divers
 ------------------
-- 
cgit v1.2.3