⚲
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
16 Nov 2022
John Abbott
Testing
Design #1709
: Test tut-CoCoLA2
Some notes
0.20
07 Nov 2022
John Abbott
Discussion
Support #1393
: GUI with Qt5
Licence
0.20
04 Nov 2022
John Abbott
Development
Support #1393
: GUI with Qt5
Simpler?
0.25
04 Nov 2022
John Abbott
Testing
Support #1393
: GUI with Qt5
Ouch!
0.50
02 Nov 2022
John Abbott
Discussion
Bug #1708
: Linux: just 1 executable, should be 2 (with & without readline)
Some notes
0.25
01 Nov 2022
John Abbott
Discussion
Support #1707
: User forum?
Some notes
0.25
24 Oct 2022
John Abbott
Development
Support #1393
: GUI with Qt5
Wow!
0.10
21 Oct 2022
John Abbott
Development
Feature #1701
: Preliminary packages
New dir
0.40
21 Oct 2022
John Abbott
Discussion
Feature #1701
: Preliminary packages
Some thoughts
0.25
19 Oct 2022
Anna Maria Bigatti
Design
Design #1698
: indent: return a string?
0.50
17 Oct 2022
John Abbott
Discussion
Feature #1701
: Preliminary packages
Some notes
0.40
17 Oct 2022
John Abbott
Development
Design #1568
: RMap and image: obsolescent?
Progress?
0.10
17 Oct 2022
John Abbott
Documentation
Feature #912
: Add TUTORIALs to online manual
New students
0.20
17 Oct 2022
John Abbott
Discussion
Feature #1373
: GFan also for Microsoft?
Nico Mexis
0.10
14 Oct 2022
Anna Maria Bigatti
Documentation
Design #1697
: Specifying BOOST in configure
2.00
11 Oct 2022
John Abbott
Testing
Support #1393
: GUI with Qt5
Must wait
0.10
10 Oct 2022
John Abbott
Testing
Design #1698
: indent: return a string?
0.30
07 Oct 2022
John Abbott
Development
Support #1393
: GUI with Qt5
Quick!
0.10
07 Oct 2022
John Abbott
Development
Feature #1246
: Revive old CoCoA4 package called "cocoa5.cpkg"
Update
0.10
07 Oct 2022
John Abbott
Development
Feature #1246
: Revive old CoCoA4 package called "cocoa5.cpkg"
Close?
0.20
07 Oct 2022
John Abbott
Discussion
Support #1534
: Install CoCoA-5 on MacOS-10.15+
Status report
0.10
07 Oct 2022
John Abbott
Discussion
Slug #750
: C5 GUI: very slow when printing many short lines
Closing
0.40
07 Oct 2022
John Abbott
Discussion
Feature #35
: Optional warnings for fn-proc arity
Rejecting
0.40
06 Oct 2022
John Abbott
Testing
Design #1698
: indent: return a string?
Tests
0.20
06 Oct 2022
John Abbott
Development
Support #1393
: GUI with Qt5
Test script
0.20
« Previous
1
…
6
7
8
9
10
…
133
Next »
(176-200/3325)
Per page:
25
,
100
,
500
Also available in:
Atom
CSV
CSV export options
Selected Columns
All Columns
Loading...