CoCoA:Emacs interface

From CoCoAWiki
Revision as of 16:22, 14 October 2005 by Bigatti (talk | contribs) (just settling)

Dowload CoCoA on Emacs

cocoa-mode provides

  • a friendly CoCoA menu
  • automatic indentation
  • coloured syntax (in font-lock-mode - default)
  • capitalization of keywords (in abbrev-mode - default)
  • automatic loading of CoCoA wordlist.txt for dynamic abbrev expansion (M-/ or ESC /)

Some key bindings in cocoa-mode

  • C-c C-e (like in latex-mode) writes the appropriate "End" (EndIf,...)
  • C-c C-c (like in c-mode) comment-region

If the following features do not work you should customize the variable cocoa-executable in cocoa.emacs:

Calling CoCoA

From a buffer in cocoa-mode you can select things and "send" them to a cocoa buffer (called *cocoa*) to be evaluated:

  • C-c C-l (evaluate line)
  • C-c C-r (evaluate region)
  • C-c C-f (evaluate file)
  • C-c C-m or C-c ? (evaluate CoCoA manual for the word under the cursor)

They will automatically start CoCoA (if it isn't already running in a *cocoa* buffer).

  • M-x cocoa opens a buffer (called *cocoa*) with a running CoCoA