Iris-Club -- Mailing List for the Iris Logic | |
|
|
About Iris-Club | |
This list is meant for discussions concerning the Iris Programming Logic. This covers both discussion about the development of Iris itself, and about working within the logic. To see the collection of prior postings to the list, visit the Iris-Club Archives. |
|
Using Iris-Club | |
To post a message to all the list members, send email to
iris-club@lists.mpi-sws.org.
You can subscribe to the list, or change your existing subscription, in the sections below. |
|
Subscribing to Iris-Club | |
Subscribe to Iris-Club by filling out the following form. You will be sent email requesting confirmation, to prevent others from gratuitously subscribing you. This is a private list, which means that the list of members is not available to non-members. | |
Iris-Club Subscribers | |
|
![]() version 2.1.18 |
![]() |
![]() |