From Christian.Maeder at dfki.de  Fri Jun  6 17:16:30 2008
From: Christian.Maeder at dfki.de (Christian Maeder)
Date: Fri, 06 Jun 2008 17:16:30 +0200
Subject: [Hets-devel] emacs code for haskell mode
Message-ID: <484954CE.9090303@dfki.de>

(add-hook 'haskell-mode-hook
            (lambda ()
             (setq show-trailing-whitespace t)
             (make-local-hook 'before-save-hook)
             (add-hook 'before-save-hook 'delete-trailing-whitespace)))

From Christian.Maeder at dfki.de  Wed Jun 18 17:07:37 2008
From: Christian.Maeder at dfki.de (Christian Maeder)
Date: Wed, 18 Jun 2008 17:07:37 +0200
Subject: [Hets-devel] package update
Message-ID: <485924B9.3050706@dfki.de>

Hi Developers,

I've updated hets to use the latest hxt-8.0.0 version.
For recompilation using "make", you should do:

  make package_clean
  make distclean
  make

Cheers Christian

P.S. The Makefile is not smart enough to detect too old version shown by 
"ghc-pkg list"