Activity
From 05 Nov 2019 to 04 Dec 2019
03 Dec 2019
-
14:36 0.75 hour (Feature #1364 (Closed): Emacs UI: start cocoa5 with system command enabled)
- Checked in
27 Nov 2019
-
22:42 0.50 hour (Feature #1364 (Closed): Emacs UI: start cocoa5 with system command enabled)
- First proto
24 Nov 2019
-
13:11 0.10 hour (Support #1368 (Closed): Improve manual for mod)
- Ange's problem
-
13:04 0.40 hour (Support #1368 (Closed): Improve manual for mod)
- Manual and code disagree
-
12:51 0.20 hour (Feature #1367 (Closed): CoCoA-5.3.0: release linked with more recent version of normaliz)
- Some notes
-
12:46 0.25 hour (Design #1352 (Closed): cocoa5 (launch) script: sleep time)
- Minor changes
15 Nov 2019
-
15:40 0.30 hour (Feature #1364 (Closed): Emacs UI: start cocoa5 with system command enabled)
- Some notes
-
15:28 0.20 hour (Support #677 (New): Credits to CoCoA-5 contributors)
- More thoughts
13 Nov 2019
-
16:56 0.40 hour (Slug #1363 (In Progress): Emacs UI: slow with long lines)
- Some notes
09 Nov 2019
-
21:45 0.20 hour (Feature #1358 (Closed): Emacs UI: should active input line be cleared before sending line from CoCoA-5 file?)
- CVSed
-
09:18 0.50 hour (Feature #1358 (Closed): Emacs UI: should active input line be cleared before sending line from CoCoA-5 file?)
07 Nov 2019
-
20:17 0.10 hour (Feature #1358 (Closed): Emacs UI: should active input line be cleared before sending line from CoCoA-5 file?)
- Duplication
-
18:37 0.50 hour (Feature #1358 (Closed): Emacs UI: should active input line be cleared before sending line from CoCoA-5 file?)
- First experiment
-
17:43 0.10 hour (Feature #1358 (Closed): Emacs UI: should active input line be cleared before sending line from CoCoA-5 file?)
- Some notes
Also available in: Atom