CoCoA:Emacs interface
From ApCoCoAWiki
The printable version is no longer supported and may have rendering errors. Please update your browser bookmarks and please use the default browser print function instead.
cocoa-mode
The distribution of cocoa-4.5 includes an emacs/
directory which contains cocoa.el
and cocoa.emacs
(the settings to be added to your .emacs
).
- a friendly CoCoA menu
- automatic indentation
- coloured syntax (in font-lock-mode - default)
- capitalization of keywords (in abbrev-mode - default)
- automatic loading of
wordlist.txt
for dynamic abbrev expansion (M-/
orESC /
orTAB /
)
From the menu you can
- send lines, regions and files to cocoa
- go to the parse error line (if you had a parse error after sending a file)
- start or restart the CoCoAServer
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
- execute this line (from any point in the line)
C-c C-r
- execute the selected region
C-c C-f
- execute all this file (from any point in thefile)
C-c C-p
- go to the parse error line (if C-c C-f gave a parse error)
C-c C-m
orC-c ?
- call the CoCoA manual for this word (from any point in the word)
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