From: Dave Thomas <Dave@...>
Date: 2002-03-06T01:50:33+09:00
Subject: Re: RDoc Feature Request

"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?


Dave