;
; $Id$
;

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