From maeder at tzi.de  Mon Apr 11 17:00:30 2005
From: maeder at tzi.de (Christian Maeder)
Date: Mon, 11 Apr 2005 17:00:30 +0200
Subject: [Hets-devel] Release 0.41
Message-ID: <425A910E.8090802@tzi.de>

Dear Hetters,

I've created a new hets release to be used instead of varying daily
snapshots.

http://www.informatik.uni-bremen.de/agbkb/forschung/formal_methods/CoFI/hets/{linux,mac,solaris}/hets

or

http://www.informatik.uni-bremen.de/agbkb/forschung/formal_methods/CoFI/hets/{linux,mac,solaris}/versions/hets-0.41

On Mac and under linux I've used ghc-6.4. (Under solaris there is still
only ghc-6.2.2 available.)

A compiled uniform workbench (that may be locally referenced with a soft
link) for linux and ghc-6.4 is installed at:
/home/cofi/uni/linux-ghc-g.4/uni

Slightly modified programatica sources are at:
/home/cofi/programatica

These (uncompiled) programatica sources can be locally used via "lndir"

 mkdir programatica
 cd programatica
 lndir /home/cofi/programatica

(The directories uni, programatica and HetCATS must be in one parent
directory.)

Have fun and report bugs or missing features

Christian