Project

General

Profile

Spent time

Filters

Apply Clear

Hours: 0.80

Date User Activity Issue Comment Hours
23 Feb 2022 Anna Maria Bigatti Discussion Design #1194: Rename HilbertBasisKer into LinKerHilbertBasis? 0.50
20 Oct 2020 Anna Maria Bigatti Design Design #1194: Rename HilbertBasisKer into LinKerHilbertBasis? 0.20
20 Oct 2020 John Abbott Development Design #1194: Rename HilbertBasisKer into LinKerHilbertBasis? Quick? 0.10
    (1-3/3)

    Also available in: Atom CSV