diff options
Diffstat (limited to 'distrib/MacOS-X/Welcome.rtf.template')
| -rw-r--r-- | distrib/MacOS-X/Welcome.rtf.template | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/distrib/MacOS-X/Welcome.rtf.template b/distrib/MacOS-X/Welcome.rtf.template new file mode 100644 index 0000000000..ed843ef5bb --- /dev/null +++ b/distrib/MacOS-X/Welcome.rtf.template @@ -0,0 +1,11 @@ +{\rtf1\mac\ansicpg10000\cocoartf100 +{\fonttbl\f0\fswiss\fcharset77 Helvetica;} +{\colortbl;\red255\green255\blue255;} +\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.\ +\ +You will need 41 MB of disk space to install this package.\ +} |