CoCoA 5 for Unix and Linux
work in progress

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

• cocoa-5.0.2-text-linux.tgz 2.4M -- 05 Apr 2012
• cocoa-5.0.2-gui-linux.tgz 14M -- 06 Apr 2012
• cocoa-5.0.1-text-linux.tgz 1.7M -- 07 Jul 2011
• cocoa-5.0.1-gui-linux.tgz 12M -- 19 Sep 2011

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