CoCoA-5.3.0 (March 2020)
Support #1217: CoCoA-5 tests directory: cleaning Bug #1307: Linking problem Support #1311: THINGS TO DO IN GENOVA September 2019 |
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
CoCoA-5 CoCoA-5.3.0 100% Closed 100% Design #168: Type info in CoCoA-5 manual Project: CoCoA-5 Status: Closed Start date: 25 May 2012 Due date: Assignee: Anna Maria Bigatti Priority: Normal Closed 100% Support #240: GUI compilation: GMP is not naturally thread-safe Project: CoCoA-5 Status: Closed Start date: 27 Sep 2012 Due date: Assignee: John Abbott Priority: Normal Rejected 100% Closed 100% Closed 100% Closed 100% Closed 100% Closed 100% Closed 100% Closed 100% Closed 100% Closed 100% Closed 100% Closed 100% Closed 100% Closed 100% Closed 100% Rejected 100% Closed 100% Closed 100% Closed 100% Closed 100% Closed 100% Closed 100% Closed 100% Closed 100% Closed 100% Closed 100% Closed 100% Closed 100% Closed 100% Closed 100% Closed 100% Closed 100% Closed 100% Closed 100% Closed 100% Closed 100% Rejected 100% Closed 100% Closed 100% Closed 100% Closed 100% Closed 100% Closed 100% Closed 100% Closed 100% Closed 100% Closed 100% Closed 100% Closed 100% Closed 100% Rejected 100% Closed 100% Closed 100% Closed 100% Closed 100% Closed 100% Closed 100% Closed 100% Closed 100% Closed 100% Closed 100% Closed 100% Closed 100% Closed 100% Closed 100% Closed 100% Closed 100% Closed 100% Closed 100% Closed 100% Closed 100% Closed 100% Closed 100% Closed 100% Closed 100% Closed 100%
|
« Previous | Next » |
Also available in: PDF