******************************************** 
* KeY-Hoare Source Code Installation       * 
* Version 0.1.6                            *
********************************************


(1) Requirements: 
-------------------------------------

Operating System: Linux/Unix 

Java 2 SDK, Version 1.4.x or newer (already installed)

Needed additional Libraries:
	antlr.jar Version >= 2.7.2: parser generator
	javacc.jar Version >= 3.0 : parser generator
	dresden-ocl-demo.jar: ocl parser
	xerces.jar version 1.4.4: used by tudresden.jar
	recoder.jar version 0.73KeY: a transformation framework for java
			             patched by KeY
	junit.jar version 3.8.1: test framework
	jargs.jar
	log4j.jar


(2) Contents of the KeY-Distribution
-------------------------------------

  At the KeY-Homepage you can find the following parts:

   * README.xxx-src.txt: this file

   * KeY-xxx-src.tgz: the source code version of KeY-system
   * KeYExtLib_xxx.tgz: contains the external libraries


(3) Installation (Source Code)
-------------------------------------

	1) Untar the tar-gzipped file:

		tar -xvzf KeY-Hoare-xxx-src.tgz

	2) Change to the created directory KeY-Hoare-xxx

		cd KeY-Hoare-xxx

	3) Install the needed libraries. Use the environment variable
           $KEY_LIB to point to the directory the needed libraries are
           in. If you use csh and all the needed libraries are in
           ~/key_lib use, e.g.

				setenv KEY_LIB ~/key_lib

	4) Change to the subdirectory ./system

		cd system

	5) Compile KeY Hoare:

		 make keybase

	   As standard Java compiler `jikes