Mailing Lists

Talean

Mailing Lists

We currently have two mailing lists. One is extremely low traffic and is only used for general announcements such as new releases. To subscribe to this mailing list, send an email to majordomo@realm.progsoc.uts.edu.au with a BODY message of:

subscribe key

The other list, is for developers and those interested in uptdate issues regarding Key. It's often used as a forum to discuss features and bugs of the latest release of Key. To subscribe to this mailing list, send an email to majordomo@realm.progsoc.uts.edu.au with a BODY message of:

subscribe key-dev

A java applet client that was developed for use with Key and our current talker Forest. Click here for more...