From Christian.Maeder at dfki.de Thu Oct 2 20:37:08 2008 From: Christian.Maeder at dfki.de (Christian Maeder) Date: Thu, 02 Oct 2008 20:37:08 +0200 Subject: [Hets-devel] hets-0.9 released Message-ID: <48E514D4.60605@dfki.de> Dear Hets friends, we proudly present our new release 0.9 of the Heterogeneous Tool Set (Hets) http://www.dfki.de/sks/hets The features can be looked up at: http://trac.informatik.uni-bremen.de:8080/hets/wiki/ReleaseNotes Installers or binaries can be downloaded from: http://www.informatik.uni-bremen.de/agbkb/forschung/formal_methods/CoFI/hets/installation_e.htm (A live-CD will follow soon) Enjoy it, Christian -- _______________________________________________________________ Dr. Christian Maeder Hausadresse: DFKI Bremen Universit?t Bremen Sichere Kognitive Systeme Cartesium 02.053 Robert-Hooke-Str. 5 Enrique-Schmidt-Str. 5 28359 Bremen 28359 Bremen http://www.dfki.de/sks www.informatik.uni-bremen.de/~maeder Telefon: +49 (421) 218-64227 Telefax: +49 (421) 218-9864227 E-Mail: Christian.Maeder at dfki.de _______________________________________________________________ Deutsches Forschungszentrum f?r K?nstliche Intelligenz GmbH Firmensitz: Trippstadter Stra?e 122, D-67663 Kaiserslautern Gesch?ftsf?hrung: Prof. Dr. Dr. h.c. mult. Wolfgang Wahlster (Vorsitzender) Dr. Walter Olthoff Vorsitzender des Aufsichtsrats: Prof. Dr. h.c. Hans A. Aukes Amtsgericht Kaiserslautern, HRB 2313 From Christian.Maeder at dfki.de Thu Oct 16 11:50:11 2008 From: Christian.Maeder at dfki.de (Christian Maeder) Date: Thu, 16 Oct 2008 11:50:11 +0200 Subject: [Hets-devel] trac email notifications Message-ID: <48F70E53.4080303@dfki.de> Hi Developers, in order to get email notification for trac tickets you need to provide your Email-address under "Preferences" (top right corner) when logged in. http://trac.informatik.uni-bremen.de:8080/hets/prefs An other way to observe trac activities is to use the RSS-Feed under http://trac.informatik.uni-bremen.de:8080/hets/query (bottom of page) Cheers Christian P.S. I'm not sure if every developer is on this list, so forward this to those who may be unaware about it. http://www.informatik.uni-bremen.de/mailman/listinfo/hets-devel http://trac.informatik.uni-bremen.de:8080/hets/wiki/HetsForDevelopers