⚲
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
Spent time
Filters
Add filter
Issue
User
Activity
Comment
Hours
Date
Issue's Tracker
Issue's Status
Issue's Target version
Options
Columns
Available Columns
Project
Week
Tracker
Status
Selected Columns
Date
User
Activity
Issue
Comment
Hours
Group results by
Project
Date
User
Activity
Totals
Hours
Apply
Clear
Details
Report
Hours:
2006.70
Date
User
Activity
Issue
Comment
Hours
24 Feb 2020
John Abbott
Documentation
Bug #1335
: ManExamples: some problems
Acceptable
0.20
21 Feb 2020
John Abbott
Development
Feature #1399
: CoCoA-5 interpreter: idle/busy indicator
Executable
0.25
21 Feb 2020
John Abbott
Design
Feature #1399
: CoCoA-5 interpreter: idle/busy indicator
Status report
1.00
21 Feb 2020
John Abbott
Documentation
Feature #1415
: thmproving package
Needs doc
0.20
21 Feb 2020
John Abbott
Development
Bug #1421
: SEGV: error("")
Simple impl
0.25
21 Feb 2020
John Abbott
Design
Bug #1421
: SEGV: error("")
Least worst
0.50
20 Feb 2020
John Abbott
Debugging
Bug #1421
: SEGV: error("")
The source
0.10
20 Feb 2020
John Abbott
Debugging
Bug #1421
: SEGV: error("")
What happens
0.10
20 Feb 2020
John Abbott
Testing
Support #1404
: Which commands should "terms" be a keyword for?
Current state
0.20
20 Feb 2020
John Abbott
Design
Bug #755
: Find out how to compile statically on linux
Or maybe...
0.10
20 Feb 2020
John Abbott
Testing
Feature #1289
: assert-function for cocoa5
Checked
0.30
20 Feb 2020
John Abbott
Documentation
Support #890
: ImportByRef and ImportByValue behave in an unexpected manner (i.e. fail when I think they should succeed)
Improved doc
0.50
20 Feb 2020
John Abbott
Documentation
Support #890
: ImportByRef and ImportByValue behave in an unexpected manner (i.e. fail when I think they should succeed)
Documentation
0.10
20 Feb 2020
John Abbott
Development
Feature #1289
: assert-function for cocoa5
Release?
0.10
19 Feb 2020
John Abbott
Documentation
Feature #1415
: thmproving package
To do
0.10
19 Feb 2020
John Abbott
Testing
Feature #1236
: Add "socket" devices
Closing
0.30
19 Feb 2020
John Abbott
Design
Feature #1399
: CoCoA-5 interpreter: idle/busy indicator
Hint
0.10
19 Feb 2020
John Abbott
Design
Feature #78
: Elim ordering and matrix ordering in CoCoA-5
Too far away
0.10
18 Feb 2020
John Abbott
Debugging
Bug #1420
: IdealOfProjectivePoints and MinGens: problem with CoCoA_ASSERT
Some notes
0.25
17 Feb 2020
John Abbott
Testing
Support #240
: GUI compilation: GMP is not naturally thread-safe
Out of date?
0.20
17 Feb 2020
John Abbott
Design
Bug #755
: Find out how to compile statically on linux
Proposal
0.30
17 Feb 2020
John Abbott
Design
Support #1387
: John's visit Feb 2020
Visit over
0.10
17 Feb 2020
John Abbott
Documentation
Feature #1316
: Matrix row reduction (rref)
Done
0.50
17 Feb 2020
John Abbott
Testing
Feature #1367
: CoCoA-5.3.0: release linked with more recent version of normaliz
Try latest version
0.10
17 Feb 2020
John Abbott
Documentation
Support #177
: CoCoAManual: General part of the documentation is obsolete: update? discard?
Postpone
0.20
« Previous
1
…
38
39
40
41
42
…
133
Next »
(976-1000/3325)
Per page:
25
,
100
,
500
Also available in:
Atom
CSV
CSV export options
Selected Columns
All Columns
Loading...