CoCoA » CoCoA-5

26 Sep 2019

16:46 0.25 hour (Bug #1321 (Closed): RealRoots fails on -x^2)

Strange John Abbott

25 Sep 2019

18:15 0.25 hour (Support #1318 (Closed): Clean CoCoA-5/tests directory)

List John Abbott

18:14 0.50 hour (Support #1027 (Closed): CoCoAManual: add a page with some emacs hints?)

Tutorial John Abbott

17:18 0.20 hour (Support #1027 (Closed): CoCoAManual: add a page with some emacs hints?)

Local doc John Abbott

15:50 0.25 hour (Bug #1320 (New): CoCoA-5 manual: incorrect empty line in syntax box (in PDF file))

Some notes John Abbott

11:58 0.10 hour (Feature #1231 (Closed): system command)

An idea John Abbott

11:54 0.50 hour (Feature #1231 (Closed): system command)

Man page John Abbott

24 Sep 2019

15:24 0.50 hour (Support #1314 (In Progress): Emacs UI: open manual pages in a separate frame?)

Some ideas John Abbott

15:03 0.25 hour (Bug #1286 (Closed): Website: trouble with the world map)

Compromise John Abbott

14:53 0.25 hour (Bug #1286 (Closed): Website: trouble with the world map)

Some progress John Abbott

20 Sep 2019

16:10 0.10 hour (Feature #1231 (Closed): system command)

No manual entry John Abbott

19 Sep 2019

13:23 0.25 hour (Feature #1316 (Closed): Matrix row reduction (rref))

Some notes John Abbott

18 Sep 2019

10:23 0.25 hour (Support #1315 (Closed): Manual entry about reporting bugs?)

Some notes John Abbott

11 Sep 2019

21:04 0.10 hour (Support #1027 (Closed): CoCoAManual: add a page with some emacs hints?)

Better something offline John Abbott

14:14 0.20 hour (Support #1311 (Closed): THINGS TO DO IN GENOVA September 2019)

examples which are not compiled John Abbott

13:55 0.25 hour (Support #1311 (Closed): THINGS TO DO IN GENOVA September 2019)

List of things to do John Abbott

13:41 0.20 hour (Bug #1286 (Closed): Website: trouble with the world map)

Still a problem John Abbott

05 Sep 2019

16:17 1.50 hour (Bug #1307 (Closed): Linking problem)

Explanation John Abbott

11:28 1.00 hour (Bug #1307 (Closed): Linking problem)

Some notes John Abbott

02 Sep 2019

16:15 0.10 hour (Feature #1305 (New): Create a directory)

Use BOOST? John Abbott

15:45 0.25 hour (Feature #1305 (New): Create a directory)

Some notes John Abbott