From: Douglas Gregor (doug.gregor_at_[hidden])
Date: 2006-06-02 10:34:32
On May 22, 2006, at 1:40 AM, Daniel Mitchell wrote:
> Since bidirectional_tag derives from directed_tag, the
> documentation should
> probably say that directed_category must be convertible to
> directed_tag or
> undirected_tag.
Yes, I believe you are correct. I have updated the documentation.
Doug