Project

General

Profile

Activity

From 05 May 2020 to 03 Jun 2020

15 May 2020

13:56 Support #1111 (Closed): CoCoAManual: searching for ?? mat and for ?? matrix give different results
John Abbott wrote:
> What do you think? I suppose it would suffice to add *@matrix@* as a keyword...
As simple a...
Anna Maria Bigatti
12:11 Support #1111: CoCoAManual: searching for ?? mat and for ?? matrix give different results
I mostly agree. However, I wonder whether some results which appear under *@??mat@* should also appear under *@??mat... John Abbott
11:01 Support #1111 (Feedback): CoCoAManual: searching for ?? mat and for ?? matrix give different results
@? mat@ and @? matrix@ give the same result.
@?? blah@ means "all entries whose search keys contain blah", so I don'...
Anna Maria Bigatti

13 May 2020

10:30 Support #1459 (Resolved): Manual entries for mod and div
I have revised the manual entries, and think that they are clear and correct now. Checked in!
The final note about ...
John Abbott
10:00 Support #1459 (In Progress): Manual entries for mod and div
The two manual entries should be very similar; right now they are not.
Might it make sense to put them together? ...
John Abbott
09:58 Support #1459 (Closed): Manual entries for mod and div
The manual entries for *@mod@* and *@div@* should be consistent.
Currently they are not: @mod@ is correct, @div@ is ...
John Abbott

12 May 2020

14:32 Design #1453: Use symbolic links for release files
On MacOS a user can install software easily from a "dpkg" file.
It would be nice to have a single-file-install capab...
John Abbott
14:29 Support #322: Installation instructions (on website)
Someone (Abdelali ABOUHALI) recently (2020-05-11) asked for guidance installing CoCoA on Ubuntu.
This is what I an...
John Abbott

07 May 2020

12:11 Support #1454: Filenames in release CoCoAManual/html containing [obsolete]
John Abbott wrote:
> An example is *@cmdCast[OBSOLETE].html@*
> Might it be better to use a name such as *@cmdCast-...
Anna Maria Bigatti

06 May 2020

11:30 Design #1456: IntersectList or IntersectionList
Probably one should be obsolescent?
Anna just added keyword to manual.
John Abbott
11:29 Design #1456 (New): IntersectList or IntersectionList
Why do we have both *@IntersectList@* and *@IntersectionList@*?
John Abbott
 

Also available in: Atom