;
; $Id$
;

 +--->  link		A programmatic link to CoCoA.
 |
 +--->  phrasebook	A phrasebook to interact with CoCoA.
 |
 +--->  service		A service exporting CoCoA server based.