⚲
Project
General
Profile
Sign in
Register
Home
Projects
Help
Search
:
Jump to a project...
All Projects
CoCoA Project
Projects
Activity
Issues
Spent time
Gantt
Calendar
News
Spent time
Filters
Add filter
Project
Issue
User
Activity
Comment
Hours
Date
Issue's Tracker
Issue's Status
Issue's Target version
Options
Columns
Available Columns
Week
Tracker
Status
Selected Columns
Project
Date
User
Activity
Issue
Comment
Hours
Group results by
Project
Date
User
Activity
Totals
Hours
Apply
Clear
Details
Report
Hours:
4995.92
Project
Date
User
Activity
Issue
Comment
Hours
CoCoALib
14 Oct 2022
John Abbott
Discussion
Support #1700
: boost_1_80_0
General soln?
0.20
CoCoALib
14 Oct 2022
John Abbott
Discussion
Slug #701
: Makefile; limit dependencies on external libs
Reject?
0.20
CoCoA-5
14 Oct 2022
Anna Maria Bigatti
Documentation
Design #1697
: Specifying BOOST in configure
2.00
CoCoALib
14 Oct 2022
Anna Maria Bigatti
Testing
Support #1700
: boost_1_80_0
1.00
CoCoALib
12 Oct 2022
Anna Maria Bigatti
Design
Design #1677
: release-source script: use shell globbing?
0.25
CoCoALib
11 Oct 2022
John Abbott
Discussion
Design #1699
: Shell scripts: Shebang line, etc
Some notes
1.00
CoCoALib
11 Oct 2022
John Abbott
Discussion
Design #1677
: release-source script: use shell globbing?
Globbing
0.20
CoCoA-5
11 Oct 2022
John Abbott
Testing
Support #1393
: GUI with Qt5
Must wait
0.10
CoCoA-5
10 Oct 2022
John Abbott
Testing
Design #1698
: indent: return a string?
0.30
CoCoA-5
07 Oct 2022
John Abbott
Development
Support #1393
: GUI with Qt5
Quick!
0.10
CoCoALib
07 Oct 2022
John Abbott
Testing
Design #1693
: SizeInBase: obsolete
0.15
CoCoALib
07 Oct 2022
John Abbott
Discussion
Feature #1676
: txt2tags: include in source distribution?
Close?
0.10
CoCoALib
07 Oct 2022
John Abbott
Testing
Bug #1662
: txt2tags: problem with filenames containing "_" or "-"
Status?
0.20
CoCoA-5
07 Oct 2022
John Abbott
Development
Feature #1246
: Revive old CoCoA4 package called "cocoa5.cpkg"
Update
0.10
CoCoA-5
07 Oct 2022
John Abbott
Development
Feature #1246
: Revive old CoCoA4 package called "cocoa5.cpkg"
Close?
0.20
CoCoA-5
07 Oct 2022
John Abbott
Discussion
Support #1534
: Install CoCoA-5 on MacOS-10.15+
Status report
0.10
CoCoA-5
07 Oct 2022
John Abbott
Discussion
Slug #750
: C5 GUI: very slow when printing many short lines
Closing
0.40
CoCoA-5
07 Oct 2022
John Abbott
Discussion
Feature #35
: Optional warnings for fn-proc arity
Rejecting
0.40
CoCoA-5
06 Oct 2022
John Abbott
Testing
Design #1698
: indent: return a string?
Tests
0.20
CoCoALib
06 Oct 2022
John Abbott
Documentation
Support #613
: Which ubuntu / debian packages are needed to compile CoCoA
Current state
0.25
CoCoA-5
06 Oct 2022
John Abbott
Development
Support #1393
: GUI with Qt5
Test script
0.20
CoCoA-5
06 Oct 2022
John Abbott
Testing
Bug #148
: C-c C-p in emacs goes to wrong line
Some test cases
0.50
CoCoA-5
06 Oct 2022
John Abbott
Discussion
Bug #716
: NotBuiltin.cpkg5: indent for MODULE
Free module names
0.20
CoCoA-5
05 Oct 2022
Anna Maria Bigatti
Discussion
Bug #716
: NotBuiltin.cpkg5: indent for MODULE
0.10
CoCoA-5
05 Oct 2022
Anna Maria Bigatti
Design
Design #1698
: indent: return a string?
0.25
« Previous
1
…
27
28
29
30
31
…
288
Next »
(701-725/7185)
Per page:
25
,
100
,
500
Also available in:
Atom
CSV
CSV export options
Selected Columns
All Columns
Loading...