CoCoA 5 is still missing modules, resolutions, ideal of points. See CoCoALib-functions.html for the translation table and toc.html for the (work in progress) manual
Download For Linux x86
Emacs interface

Execute the Install.sh script.


DONE!! Now Emacs recognises files with a CoCoA-5 extension: you should name your files blah.cocoa5 or blah.cpkg5
For Emacs experts only: you might prefer to copy into your .emacs just the settings you want from CoCoA-5/emacs/cocoa.emacs
Graphical interface To do