PALE - Pointer Assertion Logic Engine
Copyright (C) 2000-2007 Anders Moeller <amoeller@brics.dk>

PALE is available under the GNU General Public Licence.
Please read the file `COPYING'.

This source package is for Linux and requires the 
tools `gcc', `flex', and `bison' to compile.

A simple Emacs PALE mode is available, see `pale-mode.el'.

Run `pale' to see the command-line usage.

Use the script `palemona' to run both PALE and MONA.
PALE requires MONA 1.4-4 or newer. You can get MONA from
http://www.brics.dk/mona/

See http://www.brics.dk/PALE/ for more information 
about Pointer Assertion Logic and PALE.