Release Name: 6.1.0

Notes:
Version 0.9.1 (2006-08-09)

Summary

    This release simplifies generated tests and fixes a bug.

Details

    * The test generator now produces simpler Ruby benches and
      specifications.
      
          o A template used by generated specifications has been
            added.
            
          o The counter example and tutorial have also been
            simplified accordingly.

    * Boolean VPI property values are now correctly converted into
      Ruby truth values.


Changes: