diff options
| author | herbelin | 2004-07-30 09:44:48 +0000 |
|---|---|---|
| committer | herbelin | 2004-07-30 09:44:48 +0000 |
| commit | 437d6bc76d93a89ee3d84e4be2d3f17a362a8383 (patch) | |
| tree | b4bef17db9db0ca9b248d630d2485a55fb5d12f3 /distrib/MacOS-X/Welcome.rtf.template | |
| parent | 0028ef73e4aa18568a1a9e79a80043148d2c6123 (diff) | |
MAJ
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@5998 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'distrib/MacOS-X/Welcome.rtf.template')
| -rw-r--r-- | distrib/MacOS-X/Welcome.rtf.template | 5 |
1 files changed, 2 insertions, 3 deletions
diff --git a/distrib/MacOS-X/Welcome.rtf.template b/distrib/MacOS-X/Welcome.rtf.template index ed843ef5bb..8925f1dfb5 100644 --- a/distrib/MacOS-X/Welcome.rtf.template +++ b/distrib/MacOS-X/Welcome.rtf.template @@ -4,8 +4,7 @@ \margl1440\margr1440\vieww9000\viewh9000\viewkind0 \pard\tx1440\tx2880\tx4320\tx5760\tx7200\ql\qnatural -\f0\fs24 \cf0 This package will install the binary distribution of Coq VVERSION on\ -your Macintosh.\ +\f0\fs24 \cf0 This package will install the MacOS X binary distribution of Coq VVERSION.\ \ -You will need 41 MB of disk space to install this package.\ +You will need about 30MB of disk space to install this package.\ } |