Version 1.2:

- Readline interface used.

- Ability to print edt and args/result of a derivation as dot graphs
  and save to file for viewing.

- Autoconf and automake now used extensively and hopefully correctly.

- Dependecy on the C pre-processor greatly reduced, to avoid, as much
  as possible the problems that it introduces with C code.

- support for GHC 5.x has been dropped. Now only 6.x is supported.

- many small fixes to the way buddha treats invalid input, such as missing
  files and unreadable files. It generally has better behaviour. For 
  example it doesn't make any changes to the filesystem if it can't find
  any files to transform. Also, it has better support for diagnosing
  command line errors.

- forget command added to the CLI - this enables the user to request that
  buddha forget the judgements that have been made in the past.

- fixed a bug in the importing of the Prelude. Previously if a module
  had this import
     import qualified Prelude
  then fromInteger and fromRational would not have been in scope
  unqualified. The fix was to add import them unqualified if necessary.

- fixed a bug in the code that reifies values. I using an int at some point
  to store a pointer value. Which is VERY BAD on machines where the size
  of int is not the same as the size of a pointer. This cause buddha to be
  broken on the alpha. This has been fixed by using Word sized variables to
  store anything to do with pointer values. Now it works on the alpha.

- added the flag --cpp (-p for short) which applies the C pre-processor to
  the source file before parsing it. Also added the -D (--define) flag
  for passing macro definitions to the C pre-processor.

- a whole new transformation style is used! This is the biggest change.
  The new style is more imperative than the previous style (which was
  more functional). Essentially each function application gets a
  unique number. This number identifies a node in the EDT. Also
  the important bits of an application are stored in a global table
  which is indexed by the node number. Each entry also records 
  what its parent was. To do this each function definintion passes 
  the application number to all of the applications in its body.
  Constants require special attention because we don't want to turn
  them into functions (of their parent number).

- ANSI colour is now supported. This makes it easier to decipher the
  output from buddha.

- configuration files are now added. There is a global configuration file
  and an optional local one. Settings in the local file override those in
  the global one.

--------------------------------------------------------------------------------

Version 1.1 and previous were released prior to full autoconfistication. The 
ChangeLog does not mention those releases.
