MAJ fichiers spécifiques trunk

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

3 files changed, 17 insertions, 15 deletions

diff --git a/CHANGES b/CHANGES
index e4dd9cbff9..1d00d150c2 100644
--- a/CHANGES
+++ b/CHANGES
@@ -1,3 +1,10 @@
+Changes since V8.2
+==================
+
+- "discriminate" now performs intros before trying to discriminate an
+  hypothesis of the goal (previously it applied intro only if the goal
+  had the form t1<>t2).
+
 Changes from V8.1 to V8.2
 =========================
 
diff --git a/README b/README
index 2ed855e70c..4f4afa5b27 100644
--- a/README
+++ b/README
@@ -1,6 +1,6 @@
 
-            		THE COQ V8.1 SYSTEM
-            		===================
+               	         THE COQ V8 SYSTEM
+            	         =================
 
 INSTALLATION.
 =============
@@ -11,9 +11,9 @@ INSTALLATION.
 DOCUMENTATION.
 ==============
 
-   The documentation of Coq V8.1 is available by anonymous ftp (see below),
-   in a directory doc/. It is also available on Coq web site at
-   http://coq.inria.fr/doc-eng.html.
+   The documentation is part of the archive in directory doc. The
+   documentation of the last released version is available on the Coq
+   web site at http://coq.inria.fr/doc.
 
 
 CHANGES.
@@ -27,10 +27,9 @@ CHANGES.
 AVAILABILITY.
 =============
 
-   Coq is available by anonymous FTP on ftp.inria.fr:
+   Coq is available at http://coq.inria.fr, or, for older versions at
+   ftp://ftp.inria.fr/INRIA/LogiCal/coq.
 
-	host:	    ftp.inria.fr (192.93.2.54)
-	directory:  INRIA/LogiCal/coq/
 
 THE COQ CLUB.
 =============
@@ -68,11 +67,7 @@ BUGS REPORT.
 
    Send your bug reports by filling a form at
 
-        http://coq.inria.fr/bin/coq-bugs
-
-   or by E-mail to
-
-	coq-bugs@coq.inria.fr
+        http://logical.saclay.inria.fr/coq-bugs
 
    To be effective, bug reports should mention the Caml version used
    to compile and run Coq, the Coq version (coqtop -v), the configuration
diff --git a/README.win b/README.win
index 0f8023bb77..7e0d211050 100644
--- a/README.win
+++ b/README.win
@@ -1,5 +1,5 @@
-THE COQ V8.1 SYSTEM
-===================
+THE COQ V8 SYSTEM
+=================
 
     This file contains remarks specific to the windows port of Coq.