|
jmlspecs-commits Archives 8318 messages
Approximate subscriber count: 58
(go to Subscribe/Unsubscribe/Preferences)
Commit messages for JML (only)
jmlspecs-developers Archives 2659 messages
Approximate subscriber count: 84
(go to Subscribe/Unsubscribe/Preferences)
Discussions among JML developers; includes tracker report changes
jmlspecs-escjava Archives 521 messages
Approximate subscriber count: 97
(go to Subscribe/Unsubscribe/Preferences)
Discussions relating to ESC/Java
jmlspecs-interest Archives 1679 messages
Approximate subscriber count: 186
(go to Subscribe/Unsubscribe/Preferences)
Discussions of the JML language and semantics; post problems as support requests
jmlspecs-releases Archives 39 messages
Approximate subscriber count: 83
(go to Subscribe/Unsubscribe/Preferences)
Notifications of JML releases (only)
jmlspecs-reloaded Archives 385 messages
Approximate subscriber count: 52
(go to Subscribe/Unsubscribe/Preferences)
Mailing list for the development of the new JML infrastructure
jmlspecs-specathon Archives 15 messages
Approximate subscriber count: 2
(go to Subscribe/Unsubscribe/Preferences)
Spec-a-thon event related mailings
|
