2 Jun
2006
2 Jun
'06
2:34 p.m.
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