Add option for generalization sets to show {disjoint, complete}

MenthorTools / menthor-editor

Menthor Editor

30 stars 7 forks source link

Open BernardoFBBraga opened 8 years ago

BernardoFBBraga commented 8 years ago

instead of showing the name of the generalization set, show their covering and disjointness properties

johnguerson commented 7 years ago

@BernardoFBBraga Can you check if I solved this issue? Then close it for us