Changes between Version 69 and Version 70 of Ticket #24551


Ignore:
Timestamp:
09/08/18 06:04:17 (14 months ago)
Author:
jhpalmieri
Comment:

Legend:

Unmodified
Added
Removed
Modified
  • Ticket #24551 – Description

    v69 v70  
    7979Remains in 8.4.b4:
    8080||= '''Ticket''' =||= '''Module'''           =||= Notes =||
    81 ||#?????||FreeMonoid_class_with_category||||
     81||#26221||FreeMonoid_class_with_category||||
    8282||#26218||IntegerVectorsConstraints_with_category||||
    8383||#?????||LabelledBinaryTrees_with_category.element_class||||