⚲
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:
89.60
Date
User
Activity
Issue
Comment
Hours
21 Feb 2014
John Abbott
Design
Bug #443
: lambda keyword
Yet another idea
0.25
21 Feb 2014
Anna Maria Bigatti
Design
Bug #443
: lambda keyword
discussion
0.25
21 Feb 2014
John Abbott
Design
Bug #443
: lambda keyword
More ideas
0.50
21 Feb 2014
Anna Maria Bigatti
Design
Bug #443
: lambda keyword
suggestions
0.25
21 Feb 2014
John Abbott
Design
Bug #443
: lambda keyword
New keyword for anon fns
0.25
20 Feb 2014
John Abbott
Design
Bug #443
: lambda keyword
More examples
0.25
20 Feb 2014
John Abbott
Design
Bug #443
: lambda keyword
Other suggestions
0.25
21 Mar 2014
Anna Maria Bigatti
Testing
Bug #444
: Not keyword/operator
added Not, NOT
0.25
18 Mar 2014
John Abbott
Testing
Bug #444
: Not keyword/operator
Closing after 0.5 month in feedback
0.25
05 Mar 2014
John Abbott
Documentation
Bug #444
: Not keyword/operator
Mostly done
0.50
24 Feb 2014
John Abbott
Development
Bug #444
: Not keyword/operator
Stepwise progress
0.50
21 Feb 2014
John Abbott
Development
Bug #444
: Not keyword/operator
Stage 2 done
0.75
21 Feb 2014
John Abbott
Development
Bug #444
: Not keyword/operator
Not -> not(...)
0.50
21 Feb 2014
John Abbott
Development
Bug #444
: Not keyword/operator
Next steps
0.25
21 Feb 2014
John Abbott
Debugging
Bug #444
: Not keyword/operator
Panic!
0.25
21 Feb 2014
John Abbott
Debugging
Bug #444
: Not keyword/operator
Ouch!
0.25
21 Feb 2014
John Abbott
Testing
Bug #444
: Not keyword/operator
Nasty surprises?
0.25
03 Mar 2014
Anna Maria Bigatti
Testing
Bug #445
: EmacsUI: indentation is wrong sometimes (e.g. if Lambda1 is on previous line)
I trust John. Closing
0.25
21 Feb 2014
John Abbott
Testing
Bug #445
: EmacsUI: indentation is wrong sometimes (e.g. if Lambda1 is on previous line)
Seems to work for me
0.25
21 Feb 2014
John Abbott
Development
Bug #445
: EmacsUI: indentation is wrong sometimes (e.g. if Lambda1 is on previous line)
Fixed?
0.25
21 Feb 2014
John Abbott
Debugging
Bug #445
: EmacsUI: indentation is wrong sometimes (e.g. if Lambda1 is on previous line)
Curiouser and curiouser
0.25
19 Feb 2014
John Abbott
Debugging
Bug #445
: EmacsUI: indentation is wrong sometimes (e.g. if Lambda1 is on previous line)
Possible cause
0.50
21 Mar 2014
Anna Maria Bigatti
Testing
Bug #446
: intersection fails with zero ideal
added test
0.50
21 Mar 2014
John Abbott
Design
Bug #446
: intersection fails with zero ideal
Use assertions
0.25
21 Mar 2014
Anna Maria Bigatti
Development
Bug #446
: intersection fails with zero ideal
done and added to test-ideal1
0.50
22 Feb 2014
John Abbott
Testing
Bug #446
: intersection fails with zero ideal
Add CoCoALib tests
0.25
21 Feb 2014
John Abbott
Debugging
Bug #446
: intersection fails with zero ideal
Need a more coherent approach?
0.25
21 Feb 2014
Anna Maria Bigatti
Testing
Bug #446
: intersection fails with zero ideal
looked at "colon"
0.25
21 Feb 2014
John Abbott
Design
Bug #446
: intersection fails with zero ideal
Improve test suite
0.25
21 Feb 2014
John Abbott
Debugging
Bug #446
: intersection fails with zero ideal
More info
0.50
20 Feb 2014
John Abbott
Debugging
Bug #446
: intersection fails with zero ideal
Bad news
0.25
20 Feb 2014
John Abbott
Debugging
Bug #446
: intersection fails with zero ideal
radical buggy too
0.25
03 Mar 2014
Anna Maria Bigatti
Development
Design #449
: Emacs UI: names of emacs fns
done
0.50
03 Apr 2014
Anna Maria Bigatti
Development
Support #450
: CoCoA-5.0.9 release (admin, overheads, etc)
binaries
1.00
01 Apr 2014
Anna Maria Bigatti
Design
Support #450
: CoCoA-5.0.9 release (admin, overheads, etc)
redmine organization
2.00
28 Mar 2014
Anna Maria Bigatti
Testing
Support #450
: CoCoA-5.0.9 release (admin, overheads, etc)
site has moved to new machine (currently available only on local network). Testing and updating
2.00
25 Mar 2014
John Abbott
Design
Support #450
: CoCoA-5.0.9 release (admin, overheads, etc)
Delaying to 5.1.0
0.50
25 Mar 2014
John Abbott
Documentation
Support #450
: CoCoA-5.0.9 release (admin, overheads, etc)
Getting there... slowly!
0.50
27 Feb 2014
John Abbott
Design
Support #450
: CoCoA-5.0.9 release (admin, overheads, etc)
Version number
0.25
26 Feb 2014
John Abbott
Testing
Support #450
: CoCoA-5.0.9 release (admin, overheads, etc)
Some old issues
0.25
26 Feb 2014
John Abbott
Documentation
Support #450
: CoCoA-5.0.9 release (admin, overheads, etc)
To do
0.25
11 Apr 2014
Anna Maria Bigatti
Development
Support #503
: CoCoA website: CoCoA-5.0.9 pages
last release: linux gui 64
0.25
08 Apr 2014
Anna Maria Bigatti
Testing
Support #503
: CoCoA website: CoCoA-5.0.9 pages
added gui win
0.25
03 Apr 2014
Anna Maria Bigatti
Development
Support #503
: CoCoA website: CoCoA-5.0.9 pages
minor changes and added releases
0.75
« Previous
1
2
Next »
(101-144/144)
Per page:
25
,
100
,
500
Also available in:
Atom
CSV
CSV export options
Selected Columns
All Columns
Loading...