Project

General

Profile

Spent time

Filters

Apply Clear

Hours: 0.80

Date User Activity Issue Comment Hours
02 Jul 2018 John Abbott Design Feature #1198: Non-standard DegRevLex (NonStdDegRevLex, WDegRevLex) Some thoughts 0.50
27 Jun 2018 Anna Maria Bigatti Design Feature #1198: Non-standard DegRevLex (NonStdDegRevLex, WDegRevLex) 0.30
    (1-2/2)

    Also available in: Atom CSV