Feature #28
rename RingQ, RingZ --> RingQQ, RingZZ
Status:
Closed
Priority:
Normal
Assignee:
Category:
Renaming
Target version:
Description
For consistency with CoCoA-5
History
#1
Updated by Anna Maria Bigatti about 12 years ago
Updated by - % Done changed from 0 to 50
- Estimated time changed from 2.00 h to 5.00 h
#2
Updated by Anna Maria Bigatti about 12 years ago
- % Done changed from 50 to 90
- Estimated time changed from 5.00 h to 6.00 h
#3
Updated by Anna Maria Bigatti about 12 years ago
- Assignee set to Anna Maria Bigatti
- Estimated time changed from 6.00 h to 7.00 h
#4
Updated by Anna Maria Bigatti about 12 years ago
- Status changed from New to Closed
- % Done changed from 90 to 100
- Estimated time changed from 7.00 h to 8.00 h