This version of KIV is an alpha version. It contains code which
has not been tested properly. Errors are likely to occur. Especially
we have been working on the following features.

* support for higher order logic
* support for temporal logic
* ergonomic user interface

Errors are most likely while using these features, but may occur
any time.

Please report any errors to us. In your bug report, please include

  + a description of you hardware and operating system,
  + detailed error description,
  + output of KIV,
  + file '.jkiv-output' located in your home directory.

Now please read file 'INSTALL' carefully in order to install KIV.

Quickstart:

 - extract tar archive => <installation path>/kiv
 - download library projects, extract, and move to
   <installation path>/kiv/projects
 - type <installation path>/kiv/bin/kiv -cosi
 - read <installation path>/kiv/doc/Praktdoku.pdf

***************************
* Have fun, your KIV team *
***************************