aboutsummaryrefslogtreecommitdiffhomepage
path: root/INSTALL.macosx
diff options
context:
space:
mode:
authorGravatar herbelin <herbelin@85f007b7-540e-0410-9357-904b9bb8a0f7>2001-12-28 18:17:13 +0000
committerGravatar herbelin <herbelin@85f007b7-540e-0410-9357-904b9bb8a0f7>2001-12-28 18:17:13 +0000
commit160c3ffdbf943775b4ad1f693666fcb1bb553ff8 (patch)
treeb079529073e931211dbdb61e6a46cf48f254c5ee /INSTALL.macosx
parent09e26582526e0fc415bb198b0b161e082c22b9a8 (diff)
MAJ
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@2377 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'INSTALL.macosx')
-rw-r--r--INSTALL.macosx8
1 files changed, 6 insertions, 2 deletions
diff --git a/INSTALL.macosx b/INSTALL.macosx
index afd1b6524..fc59dc0b6 100644
--- a/INSTALL.macosx
+++ b/INSTALL.macosx
@@ -12,11 +12,15 @@ INSTALLATION PROCEDURE FOR THE COQ V7.2 SYSTEM UNDER MACOS X
sudo tar -C / -xzf coq-7.2-Darwin-MacOS-X.tar.gz
-5) Type the command
+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
-6) To launch Coq, just type
+7) To launch Coq, just type
coqtop