Install CoCoA 5

DOWNLOAD CoCoA-5 For Linux x86

(pre-release for 5.4.2) cocoa-5.4.1s-text-linux.tgz 15M -- 05 Jul 2023
SHA-256: cb7fa7f206fd355175de98fb74020d1ff7784697f7a12bcff56fe186bec2600b *cocoa-5.4.1s-text-linux.tgz
cocoa-5.4.0-linux.tgz 8.4M -- 30 Mar 2022
SHA-256: 5185e0fde61addb5803f09b78c2a611bf5cd7395443b5add2eb0e51cdb619578 *cocoa-5.4.0-linux.tgz
Older versions

Emacs interface screenshots

Setting up CoCoA and Emacs:

Step 0:

check if you have Emacs on your computer.
If not, install it using your Linux package manager.

Step 1:

Execute the ConfigureEmacs.sh script in the CoCoA-5/emacs/ directory
in either way (it's very very fast!!):

or double-click on the icon of ConfigEmacs.sh
type in a shell
cd [path-to-your-cocoa-5.3-directory]/cocoa-5.3/emacs
./ConfigEmacs.sh

ALL DONE!! info & screenshots

Setting up Emacs for Emacs experts:
the script above adds a few lines at the end of your .emacs file (creating it if necessary).
If you have already defined your own favourite Emacs options/colours/.. you might prefer to pick and copy from cocoa-5.3/emacs/cocoa.emacs into your .emacs only the settings you desire.