This is easy:
/usr/yarrow/
.
The filename is in the format
yarrow-architecture-os.ext.
gzip -cd yarrow-bin-
architecture-
os.tar.gz | tar xf -
.login
file)
setenv YARROW /usr/yarrow
.login
file)
setenv PATH ${PATH}:/usr/yarrow/bin
rehash
Now you can start yarrow with the command
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 -------------------------------------------------- P $ assumption Goal proved! $ exit prove test : @P:*. P->P intros assumption exit 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.
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/
.