;
; $Id$
;

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