JmlDocumentation

Editing the JML Documentation

Developers tasked with maintaining the JML documentation can check it out from the SVN repository, or browse it here.

Instructions for developers on how to checkout and setup the JML documentation project is found in the developer-tips file. There is a script to help setup the links necessary to build the documentation in the JML2 CVS repository.