diff options
| -rwxr-xr-x | doc/Changes.tex | 6 |
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} |