Activity
From 15 Jan 2019 to 13 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