> Unfortunately, 7.2 (current development) version docs are not online...
In what sense are they not on line?
The docs are rebuilt twice a day and posted on the developer's web page,
but I see that they are labeled "Developer's Guide" rather than "The
Development Docs" or somesuch.
Vince, could we make the label a bit clearer? What would you suggest?
- Thomas