lists.cakeml.org mailing lists - Admin Links
Below is the collection of publicly-advertised Mailman mailing lists on lists.cakeml.org. Click on a list name to visit the configuration pages for that list.To visit the administrators configuration page for an unadvertised list, open a URL similar to this one, but with a '/' and the list name appended. If you have the proper authority, you can also create a new mailing list.
General list information can be found at the mailing list overview page.
(Send questions and comments to email@example.com.)
|Builds||Automatic Regression Test Messages|
|Commits||Automatic Push Notification Messages|
|Developers||The Mailing List for Development of CakeML|
|Users||The Mailing List for Users of CakeML|