On Wed, Mar 06, 2002 at 01:50:33AM +0900, Dave Thomas wrote:
> "Jason Voegele" <jason / jvoegele.com> writes:
> 
> > Would it be possible to document pre, post, and invariant blocks for
> > modules that use the Design By Contract package?  This being half
> > the point of DBC, I think it would be great if it could. ;-)
> 
> That's a great idea.
> 
> How many people are using the dbc package?

+1

Regards,
Doug