Yarrow Installation Guide for binaries

Install Yarrow

This is easy:

  1. Get the correct version for your system by ftp, and place it in a directory, say /usr/yarrow/.
  2. Go to that directory and unpack it.
  3. Set the environment variable YARROW. (You should include this in your .login file)
  4. Add the directory containing the binaries to your path, (you should include this in your .login file) Alternatively, place the binaries in a directory in your path.

Run Yarrow

Now you can start yarrow with the command

Test Yarrow

Start it, and you should get something like

Welcome to Yarrow v0.99
Type 'help introduction' for an introduction.

then type the lines behind the prompt ("> " and "$ ")

> prove test : @P:*. P -> P
@P:*. P->P

$ intros
P : *
H : P

$ assumption
Goal proved!

$ exit
prove test : @P:*. P->P

test := .. : @P:*. P->P
> help help
Syntax: 1. help
        2. help <command>
Effect: The first variant ...

If you get different output something has gone wrong.

That's it!

Please inform me that you installed Yarrow, both if it was succesful or if there are some problems. E-mail: janz@cs.kun.nl

There are some example sessions in directory sessions; these examples are described here. The userguide may also be helpful. All the documentation is also contained in directory /usr/yarrow/doc/.

Back to Yarrow Installation Page
Back to Yarrow Home Page