Version 0.4 of Elf fixes some bugs in Version 0.3.  It also provides an
improved Emacs interface to Elf: terms are marked with their source location
during parsing and error messages during lexing, parsing, or type
reconstruction are labelled with an error location.  The Emacs Elf mode
interprets these messages and can jump to the indicated error location.
elf-examples did not change at all, and elf-tools changed only in one
line.

======================================================================
Release notes, Version 0.4.  Thu Jul  1 1993

- bug fixes:
  o name conflict of implicit variables [Ekkehard Rohwedder]
  o incorrect type error messages [John Hannan]
  o constraint propagation when solving queries [Brian Milnes]
  o constraint propagation during selective tracing with backquote
- interface improvements:
  o type reconstruction approximates location of type error
  o type error messages are reported in external format, unless flag
    T.control "print_internal" is true
  o improved Emacs Elf mode error tracking, including interactive
    and batch input
  o added Emacs Elf mode directory tracking
  o other miscellaneous improvements in Emacs interface
======================================================================