Ontic installation instructions:

What you'll need:

1) Emacs version 18.
2) Lucid Common Lisp (aka Sun Common Lisp) version 4.0 or later.

1) Choose a name for the directory in which Ontic will be installed,
   and move the compressed tar file into that directory.
   (For the rest of these instructions, we'll assume you picked the
   directory /home/ontic)

2) Uncompress the Ontic tar file.
   Ex: uncompress ontic.tar

3) Untar Ontic.
   Ex: tar xvf ontic.tar

4) Edit the file "/home/ontic/interface/ontic-init.el" using emacs.
   A. Change the site dependent variables:
      a.  *ontic-directory* should point to the ontic directory you picked.
	  Ex: (setq *ontic-directory* "/home/ontic")
      b.  ontic-lucid-program should point to the Lucid executable.
          Ex: (setq ontic-lucid-program "/usr/local/bin/lucid")
   B. Byte compile the file.
      Ex: M-x byte-compile-file <return>
          /home/ontic/interface/ontic-init.el <return>

5) Edit the .emacs file in your home directory.
   A.  Add the line:
       (load "/home/ontic/interface/ontic-init")


Ontic is now installed.  To run it, start up an emacs and type:
M-x ontic <return>

The user interface (as well as the rest of Ontic) is covered in detail
in the manual.  You'll probably want to print out a copy of it before
you start using Ontic.

Ex: lpr -d /home/ontic/ontic-manual.dvi

If you have questions, please send email to: ontic-implementors@ai.mit.edu.
