Community
Participate
Working Groups
When a datapool is opened in datapool editor then new data being imported from a CSV file, Equivalence Class tab doesn't refresh its content. Workaround is to close and reopen the datapool.
*** This bug has been marked as a duplicate of 95871 ***
ACTION: Please verify/close this defect.
Closing by default since not closed by the originator in the 7+ months since being resolved. Please reopen if the issue is still present in the latest TPTP release or the resolution is not correct.