Activity
From 02 Jun 2017 to 01 Jul 2017
29 Jun 2017
- 16:31 0.50 hour (Feature #1084 (Closed): New function: PrevPrime)
- 14:54 0.20 hour (Feature #1084 (Closed): New function: PrevPrime)
- Already there
- 11:46 0.25 hour (Feature #1021 (Closed): CoCoA Manual: search should ignore multiple spaces)
- double quotes
20 Jun 2017
16 Jun 2017
- 19:14 0.25 hour (Bug #1080 (Closed): intersect: problem with zero generators)
- Aaargh!
- 17:24 0.50 hour (Support #1077 (Resolved): Manual: remove old stuff about "devices")
- Updated doc
13 Jun 2017
12 Jun 2017
- 19:08 0.25 hour (Bug #670 (Closed): Error column indicator misaligned with non-printing (unprintable) characters)
- Already done
- 18:27 0.25 hour (Bug #1076 (New): EmacsUI: interrupt copies line cursor is on to bottom then interrupts)
- Unimportant
07 Jun 2017
- 15:19 0.10 hour (Feature #1011 (Closed): Random seed fn)
- reseed from current time?
Also available in: Atom