Unix (Solaris and Linux) Jape installation
==========================================

March 2005 (Revision 3)
=======================


Dependencies
------------

        A functioning java (1.4 or later) system

        A Bourne or Bourne-again shell

License
-------

    Jape is free software; you can redistribute it and/or modify it
    under the terms of the GNU General Public License as published by
    the Free Software Foundation; either version 2 of the License, or
    (at your option) any later version.

    Jape is distributed in the hope that it will be useful, but
    WITHOUT ANY WARRANTY; without even the implied warranty of
    MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU
    General Public License for more details.

    You should have received a copy of the GNU General Public License
    along with jape; if not, write to the Free Software Foundation,
    Inc., 59 Temple Place, Suite 330, Boston, MA  02111-1307  USA (or
    look at http://www.gnu.org).


What to do
----------

[In what follows $(OS) is either Solaris or Linux]

0. Download the  Install$(OS)jape.jar file there

1. From an X window terminal in that directory unpack the
   distribution jar file in Jape's home with

        java -jar Install$(OS)jape.jar

   This will start executing the interactive java installer.
   
   The installer brings up a Splash Screen on which there are
   three buttons and a log window. 

2. Once you have decided where Jape's home is going to be (and
   indicated it to the installer) just press the button labelled
   "Install".

   This starts the jape installer, which leaves the examples directory,
   the inference engine, the interface engine, and a shell script
   (Jape) that runs Jape in the installation directory..You can make
   symbolic or other links to the Jape script from anywhere in your
   filestore. If you wish to change Jape's home, then you will have to
   edit these files, or run the script installjape.sh again from the
   new home.
   
3. Press the Exit (and cleanup) button. This removes various bits of
   detritus from the bootstrap files that were generated during the
   installation.

   TROUBLESHOOTING: If you don't have java installed, and the java
   command on your path, then this will not work. Do whatever you
   need to do to get java installed and on your path. You don't need
   the whole jdk, just the java runtime environment.


3. Try running Jape, by (for example)

        ./Jape examples/sequent_calculus/SCS.jt

4. Please let us know that you've succeeded (or failed) by sending a short
   message of triumph (or despair) to

        japeinstall@jape.org.uk

   In case of despair, please send a log of your installation session and
   the attempted run of jape.
   
Gestures in jape
----------------

Being quad-platform, Jape is now beginning to conform to user
interface standards.

<letftclick> formula selection
<shift-leftclick> add a formula selection, or to cancel an existing selection.

<middleclick> text selection
<shift-middleclick> extend an existing text selection
<control-middleclick> add a text selection


