;
;  $Id$
;
;  Copyright (c) 2003, RIACA, Technische Universiteit Eindhoven (TU/e)
;  All Rights Reserved.
;

 				  README
				  ------

  This directory contains the basic directory structure for projects related
  to Coq. To get more information about every project read the README file in 
  its subdirectory.

  * link		; A program to link Java and Coq

  * phrasebook		; An OpenMath phrasebook for Coq

  * service		; A service to export Coq on a socket.