Activity
From 06 Dec 2020 to 04 Jan 2021
28 Dec 2020
- 17:56 Support #1555: Software licence
- Here are what we need to do:
* ensure that all copyright lines are correct (Anna and me)
* remove the GPL blurb fro...
22 Dec 2020
- 16:16 Bug #1376: GBasisTimeout: not working as expected
- What is the status of this issue?
- 16:10 Bug #1542: gfan does not "deinitialize"
- A non-solution is to modify the documentation to say that @GMPAllocator@ does not work well with GFan (or else the u...
21 Dec 2020
- 12:33 Support #1555 (Closed): Software licence
- Gereon Kremer asks whether we are willing to release some or all of the source for CoCoA/CoCoALib under a different l...
Also available in: Atom