Java Modeling Language (JML) / Things to Do / #55 improve internal documentation for jmldoc

#55 improve internal documentation for jmldoc

Milestone: self_reported

Status: open

Owner: nobody

Module:

Priority: 4

Updated: 2006-05-19

Created: 2004-04-17

Private: No

Improve internal documentation, including JML annotations, of
the jmldoc classes.

Gary T. Leavens - 2006-05-19

priority: 5 --> 4
If you would like to refer to this comment somewhere else in this project, copy and paste the following link:

Gary T. Leavens - 2006-05-19

assigned_to: davidcok --> nobody
If you would like to refer to this comment somewhere else in this project, copy and paste the following link:

Gary T. Leavens - 2006-05-19

summary: internal documentation --> improve internal documentation for jmldoc
If you would like to refer to this comment somewhere else in this project, copy and paste the following link: