Project

General

Profile

Design #921

Design GBMill

Added by Anna Maria Bigatti over 1 year ago. Updated 9 months ago.

Status:
New
Priority:
Normal
Assignee:
-
Category:
-
Target version:
Start date:
16 Sep 2016
Due date:
% Done:

0%

Estimated time:
Spent time:

Description

(I believe we have already written something long these lines, but I cannot find it)


Related issues

Related to CoCoALib - Feature #400: add myJBMill member field to idealNew2013-08-02

Related to CoCoALib - Design #924: FlagManager for bool/bool3 flagsNew2016-09-19

History

#1 Updated by Anna Maria Bigatti over 1 year ago

  • Related to Feature #899: IsMaximal, IsPrimary for IDEAL (in cocoalib) added

#2 Updated by Anna Maria Bigatti over 1 year ago

  • Related to Feature #400: add myJBMill member field to ideal added

#3 Updated by Anna Maria Bigatti over 1 year ago

See FlagManager in #899

#4 Updated by Anna Maria Bigatti over 1 year ago

  • Related to Design #924: FlagManager for bool/bool3 flags added

#5 Updated by Anna Maria Bigatti over 1 year ago

  • Related to deleted (Feature #899: IsMaximal, IsPrimary for IDEAL (in cocoalib))

#6 Updated by Anna Maria Bigatti 9 months ago

  • Target version set to CoCoALib-0.99999

Also available in: Atom PDF