Activity
From 13 Sep 2020 to 12 Oct 2020
12 Oct 2020
-
20:14 1.50 hour (Feature #1479 (Closed): CoCoA release for linux: CoCoAInterpreter: with and without libreadline?)
- Modified script
-
14:16 0.20 hour (Feature #1479 (Closed): CoCoA release for linux: CoCoAInterpreter: with and without libreadline?)
- Safer
11 Oct 2020
-
22:10 0.25 hour (Feature #1479 (Closed): CoCoA release for linux: CoCoAInterpreter: with and without libreadline?)
- Speed
10 Oct 2020
-
23:15 0.20 hour (Feature #1479 (Closed): CoCoA release for linux: CoCoAInterpreter: with and without libreadline?)
- Install?
-
23:14 0.20 hour (Feature #1479 (Closed): CoCoA release for linux: CoCoAInterpreter: with and without libreadline?)
- Install?
09 Oct 2020
-
21:24 0.40 hour (Design #1504 (Closed): OnlineHelp: XMLFileName)
- Partly updated
-
20:08 0.30 hour (Design #1504 (Closed): OnlineHelp: XMLFileName)
- std::string
-
15:59 0.20 hour (Feature #1293 (Resolved): Vim Plugin for CoCoA)
- Suggestion
-
15:48 0.44 hour (Design #1348 (Closed): cocoa5 script for releases)
- Closing
-
15:48 0.50 hour (Feature #1479 (Closed): CoCoA release for linux: CoCoAInterpreter: with and without libreadline?)
-
13:45 0.25 hour (Feature #1487 (Closed): EOF for OpenIFile)
- Closing
-
11:54 0.20 hour (Feature #1487 (Closed): EOF for OpenIFile)
- Improved doc
-
11:01 0.25 hour (Bug #1505 (Closed): EmacsUI: fix "Go to Error C-c C-p")
-
10:33 0.50 hour (Bug #1505 (Closed): EmacsUI: fix "Go to Error C-c C-p")
08 Oct 2020
-
15:16 0.20 hour (Design #1504 (Closed): OnlineHelp: XMLFileName)
- Some notes
-
14:16 0.10 hour (Feature #1503 (New): More flexible ring creation syntax (after use or ::=))
- How limited?
-
14:11 0.25 hour (Feature #1503 (New): More flexible ring creation syntax (after use or ::=))
- Some notes
-
13:57 0.10 hour (Feature #606 (Closed): Evaluate in ring operator (was called :: in CoCoA-4))
- Mostly done?
-
13:54 0.10 hour (Feature #1293 (Resolved): Vim Plugin for CoCoA)
- Release?
-
13:48 0.10 hour (Design #637 (Closed): Undesirable consequence of automatic mapping of RingElems?)
- Update
-
12:32 0.40 hour (Bug #1502 (In Progress): SystemCommand in Microsoft version)
- Some notes
07 Oct 2020
-
12:02 0.50 hour (Design #1501 (Rejected): testing for syntax errors)
- Some notes
06 Oct 2020
-
15:53 1.00 hour (Design #1493 (Closed): Automatic ring mapping in assignment?)
- Mostly done
-
11:59 0.20 hour (Support #1498 (Closed): Export many names or just one?)
- Some notes
05 Oct 2020
-
16:18 0.20 hour (Feature #1487 (Closed): EOF for OpenIFile)
- Question
-
16:13 0.50 hour (Feature #1487 (Closed): EOF for OpenIFile)
- Ahhh!
-
15:48 0.20 hour (Feature #1487 (Closed): EOF for OpenIFile)
- Improved doc
-
15:37 0.50 hour (Feature #1487 (Closed): EOF for OpenIFile)
- RTFM?
03 Oct 2020
-
17:20 0.30 hour (Bug #1489 (Closed): Unhelpful error message for package followed by identifier (without dollar sign))
- Tests
-
17:08 1.00 hour (Design #1495 (Closed): Package exporting nothing?)
- Testing... some questions
02 Oct 2020
-
21:05 0.10 hour (Design #1495 (Closed): Package exporting nothing?)
- Needs to be cleaned
-
14:22 0.40 hour (Design #1495 (Closed): Package exporting nothing?)
- Tests
-
14:03 0.50 hour (Design #1495 (Closed): Package exporting nothing?)
- First prototype
-
11:31 0.50 hour (Design #1495 (Closed): Package exporting nothing?)
-
16:38 1.00 hour (Bug #1489 (Closed): Unhelpful error message for package followed by identifier (without dollar sign))
- Root cause
-
12:00 0.10 hour (Design #1496 (Rejected): Use "special" names for variables inside tests)
- List of tests
-
11:54 0.20 hour (Design #1496 (Rejected): Use "special" names for variables inside tests)
- Some notes
-
11:43 0.50 hour (Support #692 (Rejected): Local variables hiding out ones at top level)
- Rejected
-
07:54 0.25 hour (Bug #1200 (Closed): Package exported function: wrong package name)
30 Sep 2020
-
17:36 0.10 hour (Bug #1489 (Closed): Unhelpful error message for package followed by identifier (without dollar sign))
- Some notes
-
17:29 0.10 hour (Design #1493 (Closed): Automatic ring mapping in assignment?)
- Some notes
-
11:43 0.20 hour (Design #1477 (Closed): Packages: questions from Andraschko)
- To discuss...
28 Sep 2020
23 Sep 2020
-
11:22 0.25 hour (Bug #1200 (Closed): Package exported function: wrong package name)
- Mistake???
-
11:19 0.10 hour (Bug #1200 (Closed): Package exported function: wrong package name)
- Source code
-
11:09 0.10 hour (Bug #1200 (Closed): Package exported function: wrong package name)
- Postponing
-
11:06 0.20 hour (Support #692 (Rejected): Local variables hiding out ones at top level)
- More thoughts
-
10:42 1.50 hour (Bug #1294 (Closed): CoCoA-5 tests may fail even if executed correctly)
- First impl
17 Sep 2020
-
16:06 0.10 hour (Feature #1415 (In Progress): thmproving package)
- News?
-
15:59 0.50 hour (Bug #1294 (Closed): CoCoA-5 tests may fail even if executed correctly)
- More notes
15 Sep 2020
14 Sep 2020
Also available in: Atom