Closed (no fix required):

    Bug 5993: RiverWare crashes whenever browsing for file

Fixed and closed:

    Bug 6000: Run time is displayed incorrectly after stopping a run after Initialization only
    Bug 6003: Copying and pasting changes values in cells
    Bug 6008: RootSelection serialization doesn't cope with double quotes in names

Fixed, waiting for testing from Mitch:

    Bug 6004: Opt comments on variables in frozen constraints use incorrect satisfaction value

Patrick