Design #511
Rename file TmpFactor to factor
Status:
Closed
Priority:
Normal
Assignee:
Category:
Renaming
Target version:
Description
The interface to factor
& friends is now stable; rename file to factor
.
Related issues
History
#1 Updated by John Abbott about 10 years ago
- Target version set to CoCoALib-0.99533 Easter14
#2 Updated by John Abbott about 10 years ago
- Status changed from New to Feedback
- Assignee set to John Abbott
- % Done changed from 0 to 90
Renamed TmpFactor
to factor
. The source file still contains a lot of crocky code!
#3 Updated by John Abbott about 10 years ago
- Status changed from Feedback to Closed
- % Done changed from 90 to 100
#4 Updated by Anna Maria Bigatti about 10 years ago
- Estimated time set to 1.40 h