⚲
Project
General
Profile
Sign in
Register
Home
Projects
Help
Search
:
CoCoA-5
All Projects
CoCoA
»
CoCoA-5
Overview
Activity
Roadmap
Issues
Spent time
Gantt
Calendar
News
Documents
Wiki
Files
Issues
View all issues
Summary
Custom queries
CoCoA-5 Almost Closed Issues
CoCoA-5 Closed Issues
CoCoA-5 Open Issues
CoCoA-5.0.3
CoCoA-5.0.9
CoCoA-5.1.0 (Easter14)
CoCoA-5.1.1 (Seoul Sep14)
CoCoA-5.1.2 (Summer15)
CoCoA-5.1.3/4 (Spring16)
CoCoA-5.2.0 (Spring 17)
CoCoA-5.2.2 (January 18)
CoCoA-5.2.4 (August 2018)
CoCoA-5.3.0 (March 2020)
CoCoA-5.3.2 (May 2020)
CoCoA-5.4.0 (March 2022)
CoCoA-5.4.2 (??? 2022)
CoCoA-5.?.?
CoCoA-5.?.?
Filters
Add filter
Status
Tracker
Priority
Author
Assignee
Target version
Category
Subject
Description
Estimated time
% Done
File
Updated by
Last updated by
Issue
Assignee's group
Assignee's role
Target version's Due date
Target version's Status
Created
Updated
Closed
Start date
Due date
Related to
Is duplicate of
Has duplicate
Blocks
Blocked by
Precedes
Follows
Copied to
Copied from
Parent task
Subtasks
Options
Columns
Available Columns
Project
Tracker
Parent task
Status
Author
Target version
Start date
Due date
Total estimated time
Spent time
Total spent time
Created
Closed
Last updated by
Related issues
Files
Selected Columns
Priority
Subject
Assignee
Updated
Category
% Done
Estimated time
Group results by
Project
Tracker
Status
Priority
Author
Assignee
Category
Target version
% Done
Show
Description
Last notes
Totals
Estimated time
Spent time
Apply
Clear
#
Priority
Subject
Assignee
Updated
Category
% Done
Estimated time
enhancing/improving
28
Collapse all/Expand all
1275
Low
incr and decr are slow
29 Apr 2019 17:53
enhancing/improving
1291
Low
LinearSimplify: somtimes not optimal
27 May 2019 21:17
enhancing/improving
External Libs
2
Collapse all/Expand all
712
Normal
External Libs: missing dependencies in Makefiles
John Abbott
01 Oct 2019 14:31
External Libs
720
Normal
External libs: specifying I/O streams (initialization?)
22 May 2015 14:14
External Libs
GUI
11
Collapse all/Expand all
38
Normal
GUI: open file "with C5"
09 Apr 2014 15:00
GUI
133
Normal
Qt GUI: Make better distinction between input and output in the output window
12 Mar 2021 09:39
GUI
30.00
136
Normal
GUI: Add an edit menu to the top bar (CoCoA GUI on MacOS)
02 Jul 2014 16:56
GUI
198
Normal
Appunti per (eventuale) tesi triennale Informatica: CoCoA GUI
30 Sep 2022 19:05
GUI
300.00
276
Normal
TeXmacs interface
09 Apr 2014 15:01
GUI
527
Normal
GUI: better name for the graphical interface?
27 Jul 2015 19:25
GUI
612
Low
The C5 gui does not exit properly when using the exit menu entry
John Abbott
28 Feb 2024 21:20
GUI
0.61
1713
Low
Windows: Qt-Gui does not link correctly
Nico Mexis
25 Feb 2024 20:42
GUI
1093
Low
GUI: bugs and slugs
John Abbott
18 Aug 2022 15:36
GUI
299
Low
GUI: message "running.." (close to output window?)
15 May 2020 10:56
GUI
611
Low
GUI: qutting provokes Imminent Disaster
28 Feb 2024 21:24
GUI
Incomplete function
4
Collapse all/Expand all
920
Normal
Empty matrix: warning, error, or empty matrix?
08 Sep 2016 11:45
Incomplete function
106
Normal
I:f (IDEAL and RINGELEM) -- operator colon
Anna Maria Bigatti
02 Sep 2014 11:12
Incomplete function
3.00
96
Normal
sort is too slow
John Abbott
28 May 2021 20:40
Incomplete function
15.00
100
Normal
BringIn should map only the indets in its arg
26 Sep 2022 20:25
Incomplete function
15.00
Manual/documentation
9
Collapse all/Expand all
296
Normal
Documentation for Parser/Interpreter
Anna Maria Bigatti
09 Apr 2014 17:22
Manual/documentation
943
Normal
Managing credits
16 May 2017 14:49
Manual/documentation
1314
Normal
Emacs UI: open manual pages in a separate frame?
27 Sep 2019 17:23
Manual/documentation
13
Normal
(short) manual for emacs interface
12 Oct 2016 16:56
Manual/documentation
323
Normal
system variables
04 Apr 2014 17:06
Manual/documentation
677
Normal
Credits to CoCoA-5 contributors
15 Nov 2019 15:28
Manual/documentation
« Previous
1
2
3
4
5
Next »
(76-100/121)
Per page:
25
,
100
,
500
Also available in:
Atom
CSV
PDF
CSV export options
Selected Columns
All Columns
Description
Last notes
Loading...