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

[PVS-DEVEL] pvs-devel test


This list has been quiet for the most part, but the effort to
port PVS to other lisps is getting under way again, and we
decided to use this mailing list for this purpose.

If you are not already a part of this project and want to get
involved, send a note and I'll tell you what you need to do.
If you prefer, you can simply unsubscribe from this list by
sending a message to pvs-devel@csl.sri.com with
pvs-devel-unsubscribe in the body, and a valid return email

Sam Owre