Restructuration diverses

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@269 85f007b7-540e-0410-9357-904b9bb8a0f7

1 files changed, 16 insertions, 1 deletions

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
 ------------------