Activity
From 27 May 2017 to 25 Jun 2017
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