⚲
Project
General
Profile
Sign in
Register
Home
Projects
Help
Search
:
CoCoA
All Projects
CoCoA
Overview
Activity
Roadmap
Issues
Spent time
Gantt
Calendar
News
Documents
Wiki
Files
Repository
Spent time
Filters
Add filter
Subproject
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:
4993.82
Date
User
Activity
Issue
Comment
Hours
11 Oct 2022
John Abbott
Discussion
Design #1699
: Shell scripts: Shebang line, etc
Some notes
1.00
11 Oct 2022
John Abbott
Discussion
Design #1677
: release-source script: use shell globbing?
Globbing
0.20
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
Testing
Design #1693
: SizeInBase: obsolete
0.15
07 Oct 2022
John Abbott
Discussion
Feature #1676
: txt2tags: include in source distribution?
Close?
0.10
07 Oct 2022
John Abbott
Testing
Bug #1662
: txt2tags: problem with filenames containing "_" or "-"
Status?
0.20
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
Documentation
Support #613
: Which ubuntu / debian packages are needed to compile CoCoA
Current state
0.25
06 Oct 2022
John Abbott
Development
Support #1393
: GUI with Qt5
Test script
0.20
06 Oct 2022
John Abbott
Testing
Bug #148
: C-c C-p in emacs goes to wrong line
Some test cases
0.50
06 Oct 2022
John Abbott
Discussion
Bug #716
: NotBuiltin.cpkg5: indent for MODULE
Free module names
0.20
05 Oct 2022
Anna Maria Bigatti
Discussion
Bug #716
: NotBuiltin.cpkg5: indent for MODULE
0.10
05 Oct 2022
Anna Maria Bigatti
Design
Design #1698
: indent: return a string?
0.25
05 Oct 2022
Anna Maria Bigatti
Design
Bug #148
: C-c C-p in emacs goes to wrong line
1.00
30 Sep 2022
John Abbott
Discussion
Bug #148
: C-c C-p in emacs goes to wrong line
Anna?
0.10
30 Sep 2022
John Abbott
Discussion
Support #198
: Appunti per (eventuale) tesi triennale Informatica: CoCoA GUI
Rivalutare
0.20
30 Sep 2022
John Abbott
Testing
Design #1698
: indent: return a string?
Undecided
0.25
28 Sep 2022
John Abbott
Development
Design #1698
: indent: return a string?
Prototype
0.40
« Previous
1
…
27
28
29
30
31
…
288
Next »
(701-725/7180)
Per page:
25
,
100
,
500
Also available in:
Atom
CSV
CSV export options
Selected Columns
All Columns
Loading...