Activity
From 17 Jan 2023 to 15 Feb 2023
14 Feb 2023
- 21:29 Support #1688: Release CoCoA 5.4.2
- **VIETNAM**
We should decide what to complete before the School in Vietnam.
The (pretty hard) deadline should be ... - 21:26 Design #1698: indent: return a string?
- I do not have @IndentStr@:...
- 21:23 Slug #1722 (In Progress): Daft slug
- On my current linux box the timings are:...
06 Feb 2023
- 15:56 Slug #1722: Daft slug
- This not really serious, just unexpected/surprising.
JAA does not really think that there is anything to fix here.
- 15:55 Slug #1722 (In Progress): Daft slug
- Since I'm now working for "the other side", I can send lots of bug reports ;-)...
18 Jan 2023
- 18:18 Design #1698: indent: return a string?
- missing manual
- 18:17 Design #1698: indent: return a string?
- John Abbott wrote:
> Are these changes checked in?
> [I think probably not yet]
yes, just now ;-)
Also available in: Atom