Patrick committed [r3319]

Removed redundant helper functions mapsObject a...

Patrick committed [r3318]

Fixed Content class in Map.jml.

Patrick committed [r3317]

Fixed specs for returning enumeration of keys a...

Patrick committed [r3316]

Added specs for Dictionary.jml

Patrick committed [r3315]

Fixed circular reference for hasNext and Iterat...

Patrick committed [r3314]

Updated rules for checking when add and remove ...

Patrick committed [r3311]

Adding boolean checks for add and set in ListIt...

Patrick committed [r3310]

updated comments about various specifications a...

Patrick committed [r3309]

Made several modifications to Collection, Itera...

Patrick committed [r3289]

Patrick committed [r3288]

Improved Auto-completion proposals, can now det...

Patrick committed [r3287]

Eliminated LAST from the list of JML modifiers.