Activity
From 23 Mar 2020 to 21 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