From maeder at tzi.de  Wed Feb 14 18:29:49 2007
From: maeder at tzi.de (Christian Maeder)
Date: Wed, 14 Feb 2007 18:29:49 +0100
Subject: [Hets-devel] gmane, release plans
Message-ID: <45D3470D.9050000@tzi.de>

Dear Hetters,

1. this mailing list will soon be available as gmane newsgroup:

http://gmane.org/info.php?group=gmane.comp.lang.hets.devel

(Hopefully after posting this)

2. For mid-march we plan to release hets-0.70 as hets will be presented
on some conferences. Therefore a couple of tickets need to be fixed --
or moved to another milestone:

http://trac.informatik.uni-bremen.de:8080/hets

Cheers Christian


From maeder at tzi.de  Mon Feb 19 17:26:19 2007
From: maeder at tzi.de (Christian Maeder)
Date: Mon, 19 Feb 2007 17:26:19 +0100
Subject: [Hets-devel] upgrade from hxt-7.0 to hxt-7.1
Message-ID: <45D9CFAB.4030603@tzi.de>

Hi Hetters,

I've replaced the package hxt-7.0 with hxt-7.1. This also required a
change in haifa-lite/src/Text/XML/Serializer/Encoders.hs. Therefore you
need to make sure that you really get hxt-7.1 by uninstalling hxt-7.0
first. Call:

ghc-pkg unregister hxt --user

(or "make distclean")

Cheers Christian

From maeder at tzi.de  Tue Feb 20 11:37:41 2007
From: maeder at tzi.de (Christian Maeder)
Date: Tue, 20 Feb 2007 11:37:41 +0100
Subject: [Hets-devel] upgrade from hxt-7.0 to hxt-7.1
In-Reply-To: <45D9CFAB.4030603@tzi.de>
References: <45D9CFAB.4030603@tzi.de>
Message-ID: <45DACF75.5050009@tzi.de>

I wrote:
> I've replaced the package hxt-7.0 with hxt-7.1. This also required a
> change in haifa-lite/src/Text/XML/Serializer/Encoders.hs. Therefore you
> need to make sure that you really get hxt-7.1 by uninstalling hxt-7.0
> first. Call:
> 
> ghc-pkg unregister hxt --user

In fact, you still have to "make clean", because the old interface files
still refer to hxt-7.0. (or delete .hi or .o files in haifa-lite/ and
OMDoc/)

C.

From luettich at tzi.de  Mon Feb 26 12:31:16 2007
From: luettich at tzi.de (=?ISO-8859-1?Q?Klaus_L=FCttich?=)
Date: Mon, 26 Feb 2007 12:31:16 +0100
Subject: [Hets-devel] Emacs mode test
Message-ID: <3AD74BFF-C329-4BED-83C3-D36E66C5810D@tzi.de>

Dear Hetters,

please check out the emacs CASL mode in HetCATS/utils/el and test it
properly. It should be possible to start it by loading casl.el with
(load-file "/Users/luettich/CASL/HetCATS/utils/el/casl.el") from
your .emacs-file.

Please report all errors and defects you find as comments to ticket
http://trac.informatik.uni-bremen.de:8080/hets/ticket/264
in trac by 2007-03-02 (March 2, 2007).

Thanks, Klaus and Heng

-- 
Klaus L?ttich         Room: Cartesium 2.049
FB3, SFB/TR8          Phone: +49 (421) 218 64217