Other Ways Of Getting Help
Here are some other places where you can look for information about this project.
Project Homepage
The project has a homepage which can be found at http://jmlspecs.sourceforge.net.
Project Mailing Lists
- jmlspecs-commits - Commit messages for JML (only) (Archive)
- jmlspecs-developers - Discussions among JML developers; includes tracker report changes (Archive)
- jmlspecs-escjava - Discussions relating to ESC/Java (Archive)
- jmlspecs-interest - Discussions of the JML language and semantics; post problems as support requests (Archive)
- jmlspecs-releases - Notifications of JML releases (only) (Archive)
- jmlspecs-reloaded - Mailing list for the development of the new JML infrastructure (Archive)
- jmlspecs-specathon - Spec-a-thon event related mailings (Archive)
Project Trackers
- Bugs - Bug Tracking System (Created Automatically)
- Support Requests - Tech Support Tracking System (Created Automatically)
- Patches - Patch Tracking System (Created Automatically)
- Feature Requests - Feature Request Tracking System (Created Automatically)
- Things to Do - Miscellaneous tasks that should be completed but aren't bugs or feature requests (Created Automatically)
