B.14 Changes from 2.69 to 2.76

• Corrected error in disk storage subsystem, which could occasionally lead to incorrect refinement checks and/or FDR2 crashes. Only affected checks using disk backing store and having in excess of 400 million states.

This document was generated by Phil Armstrong on May 17, 2012 using texi2html 1.82.