blob: ed843ef5bb64a8d08b346dc57519f5c8618c3087 (
plain)
1
2
3
4
5
6
7
8
9
10
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.\
}
|
