CoCoA 5 for MacOSX
work in progress

CoCoA 5 is still missing an updated manual, and modules, resolutions, ideal of points. See CoCoALib-functions.html for the available functions.

Download

• ..-text-..: Textual Interface which can run in Emacs or Terminal
• ..-gui-..: Graphical User Interface

For Intel core 2 Duo processors (64bit):

• cocoa-5.0.1-text-mac10.6.zip 2.1M -- 07 Jul 2011
• cocoa-5.0.1-text-mac10.5.zip 2.0M -- 07 Jul 2011
• cocoa-5.0.1-gui-mac10.6.zip 16M -- 15 Sep 2011
• cocoa-5.0.1-gui-mac10.5.zip 4.8M -- 08 Jul 2011

Emacs interface (suggested Emacs: Carbon Emacs Package)

DRAG the CoCoA-5 folder into the Applications folder.

---

Setting up Emacs: Open the folder emacs in CoCoA-5 and double-click on update-prefs.command
(this just adds a few lines at the end of your .emacs file, creating it if necessary)

---

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

---

MacOS tricks

• If under Finder you cannot see the file extensions I suggest you open the menu Finder - Preferences... and check [Advanced] Show all file extensions.
• You may open any file in Emacs by dragging it onto the Emacs icon or into an Emacs window.
• If you want all your .cocoa5 files to open with Emacs when double-clicked, this is what you need to do:
1. Select in Finder a file with a cocoa extension, say foo.cocoa5 and select File - Get Info, click the Open with: triangle and choose Other... to select Emacs.
2. Now click on Change all... to "Use this application to open all documents like this" (i.e. with the extension .cocoa5).

Graphical interface To do