Community
Participate
Working Groups
We were able to move rows in a data pool. Now there is no mechanism to move rows.The row number was editable so we could move it after row0,after row 1 etc. This was helpful while testing,not sure why this feature is not available now.
*** This bug has been marked as a duplicate of bug 180280 ***
Reporter: Please verify and close in preparation for shutting down the TPTP 4.4 release. Thanks.
Duplicate bug.