Project

General

Profile

Issues

Filters

Apply Clear

# Project Parent task Priority Subject Assignee Updated Category % Done
1731 CoCoA-5 Normal Verbosity level in CoCoA5 Anna Maria Bigatti 11 May 2023 07:34 enhancing/improving

1728 CoCoA-5 Normal Refine Poset impl & doc 21 Mar 2023 03:33 enhancing/improving

1363 CoCoA-5 Normal Emacs UI: slow with long lines 15 Jan 2024 19:32 EmacsUI

177 CoCoA-5 Normal CoCoAManual: General part of the documentation is obsolete: update? discard? Anna Maria Bigatti 10 Mar 2023 17:02 Manual/documentation

175 CoCoA-5 Normal Approximate BuchbergerMoeller: port to CoCoA-5 Anna Maria Bigatti 14 Mar 2023 22:12 CoCoA-4 function to be added

    (1-5/5)

    Also available in: Atom CSV PDF