From Christian.Maeder at dfki.de Wed Apr 24 11:11:09 2013 From: Christian.Maeder at dfki.de (Christian Maeder) Date: Wed, 24 Apr 2013 11:11:09 +0200 Subject: [Hets-devel] hets-0.99 released Message-ID: <5177A1AD.7060902@dfki.de> Dear Hets users, after two years without a proper release I've created now the release 0.99 of the Heterogeneous Tool Set (Hets) http://www.dfki.de/cps/hets I've tried to summarize what has changed here: http://trac.informatik.uni-bremen.de:8080/hets/wiki/ReleaseNotes Fortunately, we make nightly builds of hets so that it is less difficult to obtain an up-to-date version of hets. Within the last two years we could not get rid of the old user interface based on TK, uDrawGraph and GTK and replace it by a mere web-based interface - without loosing too much functionality. In fact, it becomes more and more difficult to restructure parts of hets without breaking someones (or our own) use cases. Also supporting different operating systems is no longer realistic as dependencies on other libraries and tools increase. Therefore we concentrate on releases for Ubuntu and recommend to run Ubuntu in a virtual box if not natively. The current version with long-term support is Ubuntu 12.04 LTS (Precise), but hets runs under the current Ubuntu 12.10 (Quantal) as well and I plan to upload hets for Ubuntu 13.04 (Raring). The final motivation for this release was a tool paper on the CASL conservativity checker that can also be tested using the Mac image: http://www.informatik.uni-bremen.de/agbkb/forschung/formal_methods/CoFI/hets/intel-mac/dmgs/Hets-0.99.dmg But note that Mac OS X support is limited: http://trac.informatik.uni-bremen.de:8080/hets/ticket/1139 Feel free to use and comment on hets. Cheers Christian -- _______________________________________________________________ Dr. Christian Maeder DFKI GmbH Cyber-Physical Systems MZH 3130 Bibliothekstra?e 1 28359 Bremen Telefon: +49 (421) 218-59835 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 math.semantic.web at gmail.com Wed Apr 24 12:44:03 2013 From: math.semantic.web at gmail.com (Christoph LANGE) Date: Wed, 24 Apr 2013 11:44:03 +0100 Subject: [Hets-devel] hets-0.99 released In-Reply-To: <5177A1AD.7060902@dfki.de> References: <5177A1AD.7060902@dfki.de> Message-ID: <5177B773.40002@gmail.com> Hi Christian, 2013-04-24 10:11 Christian Maeder: > after two years without a proper release I've created now the release > 0.99 of the Heterogeneous Tool Set (Hets) http://www.dfki.de/cps/hets thanks for the announcement! > I've tried to summarize what has changed here: > http://trac.informatik.uni-bremen.de:8080/hets/wiki/ReleaseNotes For those whose firewalls block port 8080 I found out that the Trac is also available on port 80, i.e. http://trac.informatik.uni-bremen.de/hets/wiki/ReleaseNotes and > But note that Mac OS X support is limited: http://trac.informatik.uni-bremen.de/hets/ticket/1139 Not sure if that's intended in the web server setup, but if it is, you (@Christian) may want to consider pointing all links to port 80. Cheers, Christoph -- Christoph Lange, School of Computer Science, University of Birmingham http://cs.bham.ac.uk/~langec/, Skype duke4701 ? Intelligent Computer Mathematics, 8?12 July, Bath, UK. Work-in-progress deadline 7 June; http://cicm-conference.org/2013/ ? OpenMath Workshop, 10 July, Bath, UK. Submission deadline 7 June; http://cicm-conference.org/2013/openmath/ From Christian.Maeder at dfki.de Wed Apr 24 13:11:33 2013 From: Christian.Maeder at dfki.de (Christian Maeder) Date: Wed, 24 Apr 2013 13:11:33 +0200 Subject: [Hets-devel] hets-0.99 released In-Reply-To: <5177B773.40002@gmail.com> References: <5177A1AD.7060902@dfki.de> <5177B773.40002@gmail.com> Message-ID: <5177BDE5.3040506@dfki.de> Am 24.04.2013 12:44, schrieb Christoph LANGE: >> I've tried to summarize what has changed here: >> http://trac.informatik.uni-bremen.de:8080/hets/wiki/ReleaseNotes > > For those whose firewalls block port 8080 I found out that the Trac is > also available on port 80, i.e. > > http://trac.informatik.uni-bremen.de/hets/wiki/ReleaseNotes Yes, using port 8080 was my accident. Our Trac should work without port number (aka port 80). Thanks Christian