Corrections

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

1 files changed, 6 insertions, 0 deletions

diff --git a/doc/Changes.tex b/doc/Changes.tex
index 9a2a49da0b..1f063f1065 100755
--- a/doc/Changes.tex
+++ b/doc/Changes.tex
@@ -430,6 +430,12 @@ documentation tool (see the ``doc'' directory in \Coq~ source archive).
 
   \end{itemize}
 
+A shell script \verb=translate6-3-1to7= is available in the archive to
+automatically translate V6.3.1 ``.v'' files to V7.0 syntax (caveat:
+the script is not involutive, use it only once per file; moreover it
+does not understand comments and then can do some unexpected
+translation there).
+
 %\section{New users contributions}
 
 \section{Installation procedure}