Mailing lists provided via a SourceForge.net version of GNU Mailman. Thanks to the Mailman and Python crews for excellent software.

Choose a list to browse or search. To post to this list, send mail to listname@lists.sourceforge.net, replacing listname with the name of the list, shown below.

  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