graph-theory icon indicating copy to clipboard operation
graph-theory copied to clipboard

Published 20 hours ago • verified publisher icon coq-community

non-forgetful attribute for pttdom_elabel

Open chdoc opened this issue 3 years ago • 1 comments

Current master branch of HB turns this instance into an error without the attribute.

chdoc avatar Jun 18 '21 10:06 chdoc

This should not be merged until after the release of hierarchy-builder-1.2, since the attribute is not backward compatible. See https://github.com/math-comp/hierarchy-builder/issues/253

chdoc avatar Jun 18 '21 12:06 chdoc