**********************
* Ocaml's Razor Team *
**********************

Program Nono (friend of Ulysses)
================================

David Delahaye   (delahaye@cs.chalmers.se)
Micaela Mayero   (mayero@cs.chalmers.se)
Alexandre Miquel (miquel@cs.chalmers.se)

All french post-doc (we are also called the "french invaders") in the
Programming Logic Group of the Department of Computer Science of the Chalmers
University  of Technology, at Gteborg, in Sweden. We are all coming from the
LogiCal project at INRIA-Rocquencourt, in France.

  1. Files provided:
     --------------

    In this archive, we provide the following files:

    - README   (this file)
    - runme    (to run the program)
    - buildme  (to compile)

    and a directory "source" with:

    - Makefile  (also to compile)
    - robot.ml  (the robot client)

  2. Execution/Compilation:
     ---------------------

    We provide a native code executable called "runme", for Intel Pentium (III,
1 GHz) under Linux (Mandrake 7.2). If you have problems to execute it, you
can build this executable for your architecture with "buildme".

  3. Languages involved:
     ------------------

     We only use Ocaml 3.04.
