The open theory server software (abbr: ot-server)
==================================================

Date of the README: 13.06.2001

The ot server software, version 0.6, is released under the terms of GNU
general public license (GPL), version 2 or higher, published by the Free 
Software Foundation (http://www.fsf.org). This implies the exclusion of 
any warranty using this software. The GPL can be found in document LICENSE
or on the web at http://www.gnu.org/copyleft/gpl.html.

The INSTALL document describes how to install a open theory system.

The SETUP document describes the setup procedure, e.g. how to fit the system
to your needs. Admins should read this.

If you want to support the development process by translating ot-outputs,
please refer to TRANSLATE document.

The SNAPSHOT document gives hints on how to make a "copy" of a running open
theory system, e.g. for testing purposes.

If you followed INSTALL and SETUP properly, you also have access to some
manual pages documenting all perl functions (see SETUP). 

On http://www.opentheory.org/ot_per_mail you'll find additional descriptions
about the mail interface (unfortunately in german only).

Any hints are welcome!
mailto:stefan@meretz.de

Keep on theorizing!
