Twelf-developer -- | ||||||||||||||||||||||||
|
||||||||||||||||||||||||
About Twelf-developer | ||||||||||||||||||||||||
To see the collection of prior postings to the list, visit the Twelf-developer Archives. (The current archive is only available to the list members.) |
||||||||||||||||||||||||
Using Twelf-developer | ||||||||||||||||||||||||
To post a message to all the list members, send email to
twelf-developer@itu.dk.
You can subscribe to the list, or change your existing subscription, in the sections below. |
||||||||||||||||||||||||
Subscribing to Twelf-developer | ||||||||||||||||||||||||
Subscribe to Twelf-developer 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.
|
||||||||||||||||||||||||
Twelf-developer Subscribers | ||||||||||||||||||||||||
|
version 2.1.12 |