⚲
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:
1995.15
Date
User
Activity
Issue
Comment
Hours
05 Oct 2022
Anna Maria Bigatti
Discussion
Bug #716
: NotBuiltin.cpkg5: indent for MODULE
0.10
30 Sep 2022
John Abbott
Discussion
Bug #148
: C-c C-p in emacs goes to wrong line
Anna?
0.10
27 Sep 2022
John Abbott
Documentation
Bug #716
: NotBuiltin.cpkg5: indent for MODULE
Document?
0.10
26 Sep 2022
John Abbott
Discussion
Feature #461
: New keyword "|->"? (same as "return")
Reject?
0.10
13 Jun 2022
John Abbott
Documentation
Support #1688
: Release CoCoA 5.4.2
Main changes
0.10
13 Jun 2022
John Abbott
Testing
Support #1471
: Release CoCoA-5.4.0
Close?
0.10
31 May 2022
John Abbott
Documentation
Support #169
: Font for parameters in manual
Close?
0.10
31 May 2022
John Abbott
Documentation
Support #1663
: GCDList not documented
Some notes
0.10
12 Mar 2022
John Abbott
Design
Support #1393
: GUI with Qt5
Why?
0.10
24 Feb 2022
John Abbott
Testing
Support #530
: Interpreter error message: "for" with missing "do"
Useful?
0.10
18 Feb 2022
John Abbott
Documentation
Support #1214
: CoCoAManual: ensure that LaTeX compilation is "clean"
0.10
18 Feb 2022
John Abbott
Testing
Bug #1029
: Readline: does not recognize interrupts
Add to pre-release checks?
0.10
16 Feb 2022
John Abbott
Documentation
Support #1077
: Manual: remove old stuff about "devices"
Sooner or later
0.10
16 Feb 2022
John Abbott
Testing
Design #1504
: OnlineHelp: XMLFileName
Close?
0.10
16 Feb 2022
John Abbott
Testing
Support #1534
: Install CoCoA-5 on MacOS-10.15+
ANNA!
0.10
16 Feb 2022
John Abbott
Documentation
Support #406
: Manual for CoCoAManual/CoCoAHelp.xml
Postponing
0.10
07 Feb 2022
John Abbott
Design
Support #1658
: LinKerZZ not documented
Name?
0.10
03 Feb 2022
John Abbott
Documentation
Feature #1415
: thmproving package
Status?
0.10
03 Feb 2022
John Abbott
Development
Support #1393
: GUI with Qt5
Must not lose this
0.10
03 Feb 2022
John Abbott
Documentation
Feature #1549
: Add sagbi package
Either... or...
0.10
03 Feb 2022
John Abbott
Development
Design #929
: Clean up CoCoALibSupplement
Tedious
0.10
03 Feb 2022
John Abbott
Development
Design #474
: Eliminate package BinRepr
Postponing
0.10
03 Feb 2022
John Abbott
Testing
Design #1407
: Tagged values (Hilbert Series)
Feedback
0.10
03 Feb 2022
John Abbott
Testing
Bug #946
: Function "ideal" evaluates the argument twice
Status?
0.10
03 Feb 2022
John Abbott
Testing
Design #1504
: OnlineHelp: XMLFileName
Status?
0.10
« Previous
1
2
3
4
5
…
132
Next »
(51-75/3299)
Per page:
25
,
100
,
500
Also available in:
Atom
CSV
CSV export options
Selected Columns
All Columns
Loading...