[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Automated PVS List
PVS List Subscribers ---
The pvs@csl.sri.com mailing list is now handled by an automated mailer.
Submissions are archived on the web at:
http://www.csl.sri.com/pvs/mail-archive/pvs/
To subscribe or unsubscribe send a message with the word 'subscribe'
or 'unsubscribe' (as appropriate) in the Subject line to:
pvs-request@csl.sri.com
We host three mailing lists relating to PVS:
pvs@csl.sri.com - List for general discussion of topics relating to PVS,
including announcements of new PVS papers, etc.
pvs-help@csl.sri.com - List for posting questions to be answered by experienced
PVS users. Copies of previous messages are archived
at http://www.csl.sri.com/pvs/mail-archive/pvs-help/
pvs-bugs@csl.sri.com - List for reporting PVS bugs (in the software and
the documentation) and for suggesting new features
that might be useful to you. Previous bug reports
may be viewed and searched online at
http://www.csl.sri.com/htbin/pvs/pvs-bug-list
Note that the PVS Bugs list is not automated, so that
confidential or proprietary information is not
archived to the web.
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