CoCoA 5 for MSWindows
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

• cocoa-5.0.2-win.zip 10M -- 06 Apr 2012 (thanks to Bruno Simoes)
• cocoa-5.0.0-text-win.zip 2.7M -- 10 Oct 2011
• cocoa-5.0.0-gui-win.zip 9.5M -- 11 Jul 2011 (thanks to Jan Limbeck)

Emacs interface (suggested Emacs: emacs-23.N-bin-i386.zip about 43Mb)

Extract the cocoa-5.0 folder into C:. (check that C:\cocoa-5.0 contains "packages" and "emacs" and not "cocoa-5.0")

---

Setting up Emacs Set the environment variable HOME like this:

• click on Control Panel
• click on System and security (for some MSWindows versions)
• click on System and then on the tab Advanced
• click on Environment variables (it is the button at the bottom)
• click on new

     variable -->   HOME
     value    -->   C:\cocoa-5.0\emacs
  

---

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

---

Sometimes CoCoA gives and error message if the starting ".cocoa5" file is not on disk "C:"

Graphical interface To do