Activity
From 11 Jun 2022 to 10 Jul 2022
13 Jun 2022
-
15:35 Support #1688 (In Progress): Release CoCoA 5.4.2
-
15:16 Support #1688: Release CoCoA 5.4.2
- Here is a list of the main changes (from CoCoA 5.4.0)
* added new fn *@IsEmpty@* as syntactic sugar
* added new f... -
15:15 Support #1688 (In Progress): Release CoCoA 5.4.2
- Everything for the release
CHECK FOR BUGS
Compile with *@--debug@* flag, and check that everything runs O... -
15:33 Support #1471 (Closed): Release CoCoA-5.4.0
-
15:14 Support #1471: Release CoCoA-5.4.0
- Shouldn't this issue be closed now? The release has been made.
-
15:33 Support #406 (Closed): Manual for CoCoAManual/CoCoAHelp.xml
Also available in: Atom