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

                                README
                                ------

  The Magma service lets you interact with Magma means of a simple
  TCP/IP endpoint. It has a counter-part (Magma phrasebook) that uses
  this product to interact with Magma. Below you will find references
  to more information.

  NOTE: THIS SOFTWARE IS PROVIDED AS IS!

  Have fun!


References
----------

  1. a Java Magma Phrasebook
     http://www.riaca.win.tue.nl/products/magma/

  2. a Java OpenMath library
     http://www.riaca.win.tue.nl/products/om/

  3. the OpenMath standard
     http://www.openmath.org