John Abbott's activity
From 14 Jun 2022 to 13 Jul 2022
15 Jun 2022
-
22:29 CoCoALib 0.50 hour (Design #1689 (Closed): Automatic mapping of RHS in += etc)
- Some notes
-
22:22 CoCoALib 0.10 hour (Feature #645 (Rejected): Automatic mapping of RingElem: user selectable at run-time (GlobalManager?))
- Uncertain
Also available in: Atom