Activity
From 03 Jan 2023 to 01 Feb 2023
19 Jan 2023
-
14:01 CoCoALib Design #1721 (Closed): Verbose messages: print level?
- Discussion:
Should a verbose message indicate at what level it first appears?
Context:
@SetVerbosityLevel(99);@ ...
18 Jan 2023
-
18:33 CoCoALib Bug #1690 (Closed): resultant gives wrong answer if an arg has deg 0
-
18:18 CoCoA-5 Design #1698: indent: return a string?
- missing manual
-
18:17 CoCoA-5 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