;
;  $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.

  * codec		; A directory containing codec extensions for the
			; GAP phrasebook project
 
  * link		; A program to link Java and GAP

  * parser		; A parser to parse GAP expressions

  * phrasebook		; An OpenMath phrasebook for GAP

  * service		; A service to export GAP on a socket

  * shell		; A GUI program to access a remotely running GAP