Activity
From 04 Apr 2020 to 03 May 2020
01 May 2020
- 05:52 0.25 hour (Support #1450 (Closed): Release CoCoA-5.3.2)
- Some notes
30 Apr 2020
- 17:09 0.25 hour (Design #1453 (New): Use symbolic links for release files)
- First for linux & macos
- 15:08 0.25 hour (Design #1453 (New): Use symbolic links for release files)
- Some notes
- 15:43 2.00 hours (Feature #1367 (Closed): CoCoA-5.3.0: release linked with more recent version of normaliz)
- 14:44 0.10 hour (Feature #1367 (Closed): CoCoA-5.3.0: release linked with more recent version of normaliz)
- Close?
- 15:12 0.10 hour (Support #1222 (Closed): Release CoCoA-5.3.0)
- Not longer relevant
- 14:43 0.10 hour (Support #1222 (Closed): Release CoCoA-5.3.0)
- Subsumed?
- 15:10 0.10 hour (Design #990 (Closed): CoCoA-5 distribution: tidying)
- Closing
- 14:51 0.20 hour (Support #1451 (Closed): CoCoA Manual: make search keys public)
- Maybe
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 (!?!?!))
Also available in: Atom