CoCoA » ApCoCoA

11 Oct 2019

15:18 Feature #1328: New ApCoCoA UI

Here are the main features of the UI which Martin wants to preserve:
* allow cut-and-paste of arbitrarily large text... John Abbott

09 Oct 2019

19:36 Feature #1328: New ApCoCoA UI

Next meeting with Nguetsa: Wed 16th Oct, at 14:00.
Intro to redmine; plan for next 2 weeks. New version of cocoa5.... John Abbott

19:33 Feature #1328: New ApCoCoA UI

What characteristics of the new UI must be tested?
Here is a list: probably each entry here will correspond to a n... John Abbott

07 Oct 2019

18:10 Feature #1328 (New): New ApCoCoA UI

The old ApCoCoA UI (based on Eclipse/Java8) no longer works on more recent versions of GNU/Linux.
Implement a new ... John Abbott