MAJ 7.3

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

1 files changed, 6 insertions, 22 deletions

diff --git a/INSTALL.macosx b/INSTALL.macosx
index 0be179c54..91128f388 100644
--- a/INSTALL.macosx
+++ b/INSTALL.macosx
@@ -1,31 +1,15 @@
 INSTALLATION PROCEDURE FOR THE COQ V7.3 SYSTEM UNDER MACOS X
 ------------------------------------------------------------
 
-1) Download compressed archive coq-7.2-Darwin-MacOS-X.tar.gz
+1) Download archive coq-7.3-macosx.dmg.
 
-2) Open a Terminal window (e.g. from the dock)
+2) Double-click on its icon; it mounts a disk volume named "Coq V7.3".
 
-3) Move to the directory where the archive is
-   (probably in Desktop; then type the command "cd Desktop")
-
-4) Type the command
-
-     sudo tar -C / -xzf coq-7.2-Darwin-MacOS-X.tar.gz
-
-5) Some browsers do too much and create a file coq-7.2-Darwin-MacOS-X.tar
-   (without trailing .gz) and a folder "usr" on the Desktop; these are 
-   useless, move them to the trash (or "rm" them from a Terminal window)
-
-6) Type the command
-
-     rehash
-
-7) To launch Coq, just type
-
-     coqtop
-
-You're done
+3) Open volume "Coq 7.3" and double-click on coq-7.3.pkg to launch the
+   installer (you'll need administrator permissions).
 
+4) Coq installs in /usr/local/bin and can be used from a Terminal window: the
+   interactive toplevel is named coqtop and the compiler is coqc.
 
 If you have any trouble with this installation, please contact:
 coq-bugs@pauillac.inria.fr.