Mailing list subscription confirmation notice for mailing list YICES
We have received a request from 23.154.177.17 for subscription of your
email address, "archive@mail-archive.com", to the yi...@csl.sri.com
mailing list. To confirm that you want to be added to this mailing
list, simply reply to this message, keeping the Subject: header
intact. Or visit this web page:
https://mls.csl.sri.com/cgi-bin/mailman/confirm/yices/e914f7fcb1a34262d0847f98de81f1198b2a3a12
Or include the following line -- and only the following line -- in a
message to yices-requ...@csl.sri.com:
confirm e914f7fcb1a34262d0847f98de81f1198b2a3a12
Note that simply sending a `reply' to this message should work from
most mail readers, since that usually leaves the Subject: line in the
right form (additional "Re:" text in the Subject: is okay).
If you do not wish to be subscribed to this list, please simply
disregard this message. If you think you are being maliciously
subscribed to the list, or have any other questions, send them to
yices-ow...@csl.sri.com.
