Project

General

Profile

Design #921

Design GBMill

Added by Anna Maria Bigatti over 7 years ago. Updated almost 7 years ago.

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

0%

Estimated time:
Spent time:
0.25 h

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 7 years ago

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

#2 Updated by Anna Maria Bigatti over 7 years ago

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

#3 Updated by Anna Maria Bigatti over 7 years ago

See FlagManager in #899

#4 Updated by Anna Maria Bigatti over 7 years ago

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

#5 Updated by Anna Maria Bigatti over 7 years ago

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

#6 Updated by Anna Maria Bigatti almost 7 years ago

  • Target version set to CoCoALib-1.0

Also available in: Atom PDF