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

Re: Question: LINUX installation & Type Check

To: Kong Woei Susanto <susanto@dcs.gla.ac.uk>
Subject: Re: Question: LINUX installation & Type Check
From: Dave Stringer-Calvert <dave_sc@csl.sri.com>
Date: Fri, 18 Sep 1998 18:43:54 -0700
cc: pvs-help@csl.sri.com
In-reply-to: Your message of "Fri, 18 Sep 1998 20:01:05 BST." <3.0.1.32.19980918200105.01846100@dcs.gla.ac.uk>


The bug you reported in PVS has been fixed in the latest
release, announced today.  Please visit our web site at
http://www.csl.sri.com/pvs.html  for information on how
to download PVS version 2.2.

Thanks,
Dave

---
Dr Dave Stringer-Calvert, Software Engineer, Computer Science Laboratory,
SRI International, 333 Ravenswood Avenue, Menlo Park, CA 94025-3493, USA.
Phone: (650) 859-3291    Fax: (650) 859-2844   Email: dave_sc@csl.sri.com

References:
- Question: LINUX installation & Type Check
  - From: Kong Woei Susanto <susanto@dcs.gla.ac.uk>

Prev by Date: Question: LINUX installation & Type Check
Next by Date: license
Prev by thread: Question: LINUX installation & Type Check
Next by thread: Run
Index(es):
- Date
- Thread