From luettich at tzi.de  Mon Oct 24 14:27:17 2005
From: luettich at tzi.de (=?ISO-8859-1?Q?Klaus_L=FCttich?=)
Date: Thu Nov  3 09:50:27 2005
Subject: [Hets-devel] UNI update
Message-ID: <534B00B6-ED58-413F-B4C8-257036CA91ED@tzi.de>

Dear all,

please update your uni directory and recompile. If you are using / 
home/cofi/uni Christian Maeder will update and recompile it for you.

Cheers, Klaus
-- 
Klaus L?ttich                 Room:  MZH 8120
FB3, SFB/TR8               Phone: +49-421-218-7129


From maeder at tzi.de  Tue Oct 25 13:58:30 2005
From: maeder at tzi.de (Christian Maeder)
Date: Thu Nov  3 09:50:31 2005
Subject: [Hets-devel] Re: SPASS/Prove.hs
In-Reply-To: <435E0EC6.2030104@tzi.de>
References: <435E0EC6.2030104@tzi.de>
Message-ID: <435E1DE6.6070506@tzi.de>

In order to compile hets you need to update uni!

Christian

> ./SPASS/Prove.hs:543:39:
>     No instance for (HasXSelection (ListBox String))
>       arising from use of `exportSelection' at ./SPASS/Prove.hs:543:39-53
>     Probable fix: add an instance declaration for (HasXSelection 
> (ListBox String))
>     In the list element: exportSelection False
>     In the second argument of `newListBox', namely
>         `[bg "white", exportSelection False, selectMode Single, height 15]'
>     In the expression:
>           newListBox lbFrame
>                      [bg "white", exportSelection False, selectMode 
> Single, height 15] ::
>             IO (ListBox String)
> 

From maeder at tzi.de  Fri Oct 28 19:39:28 2005
From: maeder at tzi.de (Christian Maeder)
Date: Thu Nov  3 09:50:41 2005
Subject: [Hets-devel] hets-0.50
Message-ID: <43626250.8050306@tzi.de>

Hi,

I've put our recent (and still ongoing) develoment efforts into a new 
hets release 0.50.

Cheers Christian

http://www.informatik.uni-bremen.de/agbkb/forschung/formal_methods/CoFI/hets/installation_e.htm