Activity
From 16 Jan 2019 to 14 Feb 2019
13 Feb 2019
-
15:58 0.50 hour (Feature #1243 (Closed): New function: Read a string into a list (of RingElem) -- CoCoA-5)
- Some notes
-
15:53 0.10 hour (Feature #1236 (Closed): Add "socket" devices)
- One small problem
-
15:51 4.00 hours (Feature #1236 (Closed): Add "socket" devices)
- First prototype
08 Feb 2019
-
20:41 0.20 hour (Bug #1226 (Closed): ExternalLibs return empty list)
- Stupid idea?
-
20:38 0.25 hour (Support #1240 (Closed): John's visit Feb 2019)
- Elenco dei compiti
29 Jan 2019
Also available in: Atom