Activity
From 05 Dec 2020 to 03 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...
05 Dec 2020
-
14:15 Bug #1542: gfan does not "deinitialize"
- I downloaded gfan (v. 0.6.2) from the official website.
The subtree layout is quite different from what I have!
Als... -
14:02 Design #1529 (Feedback): INPUT questions
- I have cleaned the code. All tests pass. Checking in.
-
13:55 Design #1547 (Closed): Require decimal mode for ostream?
- In issue #1529 we have decided to require that when reading from an @istream@ the stream must be in decimal mode.
Sh...
Also available in: Atom