From c5fd7832f4248a2cd64e1d1198dcc1a5fe1c886a Mon Sep 17 00:00:00 2001
From: herbelin
Date: Fri, 22 Dec 2000 09:09:58 +0000
Subject: Corrections

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8156 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 doc/Changes.tex | 6 ++++++
 1 file changed, 6 insertions(+)

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}
-- 
cgit v1.2.3