Project

General

Profile

Spent time

Filters

Apply Clear

Hours: 0.75

Date User Activity Issue Comment Hours
18 Mar 2024 John Abbott Discussion Support #942: Which names to use? Intersection/saturation vs intersect/saturate My thoughts 0.20
18 Mar 2024 John Abbott Discussion Support #942: Which names to use? Intersection/saturation vs intersect/saturate Also 0.10
18 Mar 2024 Anna Maria Bigatti Discussion Support #942: Which names to use? Intersection/saturation vs intersect/saturate 0.25
10 Oct 2016 John Abbott Design Support #942: Which names to use? Intersection/saturation vs intersect/saturate Also for CoCoA-5 0.20
    (1-4/4)

    Also available in: Atom CSV