Activity
From 21 Mar 2020 to 19 Apr 2020
17 Apr 2020
- 16:19 0.20 hour (Bug #1448 (Closed): EmacsUI: sending line with "7" calls SourceRegion (!?!?!))
- 16:11 0.10 hour (Bug #1448 (Closed): EmacsUI: sending line with "7" calls SourceRegion (!?!?!))
- Checked in
- 16:07 0.30 hour (Bug #1448 (Closed): EmacsUI: sending line with "7" calls SourceRegion (!?!?!))
- Perhaps OK now?
- 15:45 0.40 hour (Bug #1448 (Closed): EmacsUI: sending line with "7" calls SourceRegion (!?!?!))
- Fixed, sort of...
- 15:22 0.10 hour (Bug #1448 (Closed): EmacsUI: sending line with "7" calls SourceRegion (!?!?!))
- Regexp?
- 15:19 0.20 hour (Bug #1448 (Closed): EmacsUI: sending line with "7" calls SourceRegion (!?!?!))
- Amazing!
- 13:58 0.25 hour (Bug #1448 (Closed): EmacsUI: sending line with "7" calls SourceRegion (!?!?!))
26 Mar 2020
- 11:40 0.10 hour (Design #990 (Closed): CoCoA-5 distribution: tidying)
- Postpone?
- 11:38 0.30 hour (Design #990 (Closed): CoCoA-5 distribution: tidying)
- What I did for CoCoALib
24 Mar 2020
Also available in: Atom