Isabelle-ci -- | |
|
|
About Isabelle-ci | |
To see the collection of prior postings to the list, visit the Isabelle-ci Archives. (The current archive is only available to the list members.) |
|
Using Isabelle-ci | |
To post a message to all the list members, send email to
isabelle-ci@mailman.proof.cit.tum.de.
You can subscribe to the list, or change your existing subscription, in the sections below. |
|
Subscribing to Isabelle-ci | |
Subscribe to Isabelle-ci 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. | |
Isabelle-ci Subscribers | |
|
version 2.1.26 |