⚲
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
02 Oct 2020
Anna Maria Bigatti
Design
Design #1495
: Package exporting nothing?
0.50
02 Oct 2020
Anna Maria Bigatti
Documentation
Bug #1200
: Package exported function: wrong package name
0.25
30 Sep 2020
John Abbott
Debugging
Bug #1489
: Unhelpful error message for package followed by identifier (without dollar sign)
Some notes
0.10
30 Sep 2020
John Abbott
Design
Design #1493
: Automatic ring mapping in assignment?
Some notes
0.10
30 Sep 2020
John Abbott
Design
Design #1477
: Packages: questions from Andraschko
To discuss...
0.20
28 Sep 2020
John Abbott
Debugging
Support #1486
: Emacs UI: indentation in a package
Where
0.25
23 Sep 2020
John Abbott
Debugging
Bug #1200
: Package exported function: wrong package name
Mistake???
0.25
23 Sep 2020
John Abbott
Debugging
Bug #1200
: Package exported function: wrong package name
Source code
0.10
23 Sep 2020
John Abbott
Development
Bug #1200
: Package exported function: wrong package name
Postponing
0.10
23 Sep 2020
John Abbott
Design
Support #692
: Local variables hiding out ones at top level
More thoughts
0.20
23 Sep 2020
John Abbott
Testing
Bug #1294
: CoCoA-5 tests may fail even if executed correctly
First impl
1.50
17 Sep 2020
John Abbott
Testing
Feature #1415
: thmproving package
News?
0.10
17 Sep 2020
John Abbott
Development
Bug #1294
: CoCoA-5 tests may fail even if executed correctly
More notes
0.50
15 Sep 2020
John Abbott
Design
Bug #1294
: CoCoA-5 tests may fail even if executed correctly
Good point
0.25
14 Sep 2020
John Abbott
Design
Support #1486
: Emacs UI: indentation in a package
Some notes
0.20
11 Aug 2020
John Abbott
Documentation
Support #1480
: Documentation for making ring with parameters
0.20
10 Aug 2020
John Abbott
Documentation
Design #1477
: Packages: questions from Andraschko
From JSAG
0.20
10 Aug 2020
John Abbott
Testing
Support #1451
: CoCoA Manual: make search keys public
Tested
0.20
10 Aug 2020
John Abbott
Documentation
Design #1477
: Packages: questions from Andraschko
Better doc
0.20
10 Aug 2020
John Abbott
Design
Design #1477
: Packages: questions from Andraschko
IsDefined
0.25
10 Aug 2020
John Abbott
Design
Bug #1475
: HilbertSeries: make into proper rational function
Some notes
0.20
10 Aug 2020
John Abbott
Development
Support #1451
: CoCoA Manual: make search keys public
Partly done
0.10
10 Aug 2020
John Abbott
Testing
Design #1477
: Packages: questions from Andraschko
Some notes
0.20
07 Aug 2020
John Abbott
Testing
Bug #1443
: Illegal instruction
Progress?
0.50
07 Aug 2020
John Abbott
Testing
Bug #1029
: Readline: does not recognize interrupts
Mysterious
0.40
« Previous
1
…
30
31
32
33
34
…
133
Next »
(776-800/3325)
Per page:
25
,
100
,
500
Also available in:
Atom
CSV
CSV export options
Selected Columns
All Columns
Loading...