[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: Referring to PVS and PVS on Linux

Joseph Kiniry wrote:
> Additionally, Red Hat Linux is not being phased away---commercial
> academic licenses for Red Hat Enterprise are available and only $25
> USD per year. See
>    <http://www.redhat.com/solutions/industries/education/products/>

Good point. I must say I have not looked at their Enterprise product
very carefully.