README for iop binaries (version 459) running on Linux or Mac OS X

0. You need a working version of Java, preferably at least 1.4.2 from 
Sun Microsystems.


1. download either IOP-v459-linux.zip or IOP-v459-macosx.zip; unpack the zip 
file. To unpack to a directory called IOP-v59, do:
        >unzip -d IOP-v459


2. This directory needs to be in your PATH, so that for example
which knows where it is:
        
        > which iop
        ...../IOP-v459/iop


3. maude.linux or maude.darwin also needs to be installed on your
system, and the prelude.maude needs to be in the same directory as the
maude.linux or maude.darwin executable:


        > which maude.linux
        /usr/local/maude-x86-linux/bin/maude.linux
        > ls /usr/local/maude-x86-linux/bin/
        maude.linux  model-checker.maude  prelude.maude

or

        > which maude.darwin
        /usr/local/maude-darwin/bin/maude.darwin
        > ls /usr/local/maude-darwin/bin/
        maude.darwin  model-checker.maude  prelude.maude



4. Once this is done you can invoke iop:

	>iop

If you have a file in the current directory called input.txt, it will
automatically be loaded into the input window of iop's GUI.

5. You can also call the JLambda read-eval-print loop via:

       > jlambda 

Welcome to the JLambda interface to Java (version 0.459), type ? for help.


6. If you create a .ioprc file in your home directory and in it put
the absolute pathname of a file, then if you do not have an input.txt
file as in 4. then the file in .ioprc will be loaded in. The .ioprc
file is also used to configure iop. Here is a copy of my .ioprc:

/homes/cs/iam/SRI/All/xix.txt
#/homes/cs/iam/SRI/MDS/gtest.txt
#/home/iop/.ioprc
#this is a comment
font size = 12
#font style = bold
font type = Lucinda Sans
#show font familes = true
window width = 550
window height = 550
start maude iop_maude_wrapper /usr/local/maude-linux/bin
#start socketfactory iop_socketfactory *FIFO_IN* *FIFO_OUT*
start graphics iop_graphics_wrapper      /usr/bin/iop
#This is the location of my iop binaries ^^^^^^^^^^^^
start graphics2d iop_graphics2d_wrapper /usr/bin/iop
#start executor iop_executor
#start filemanager iop_filemanager
#start pvs iop_pvs_wrapper
select maude