Twelf 1.4 Before Release

[Frank Pfenning]

I have updated the documentation (available through
http://www.twelf.org/) and also made, but not yet linked, a tarball for
Twelf 1.4 that should work for SML/NJ 110.0.3, 110.40, Poly/ML 4.1.3 and
MLton 20020923.  You can pick it up at

  http://www.cs.cmu.edu/~twelf/dist/twelf-1-4.tar.gz

I haven't nearly tested it enough, but it might help at this point if
you can download it and see if unpacks and compiles on your
favorite architecture and ML implementation.

Please let me know either way and let me know if there are any
bug fixes or proposed changes to the README file or documentation.

  Thanks,
  - Frank