From luettich at tzi.de Thu Mar 15 14:47:58 2007 From: luettich at tzi.de (=?ISO-8859-1?Q?Klaus_L=FCttich?=) Date: Thu, 15 Mar 2007 14:47:58 +0100 Subject: [Hets-devel] Graphical Installer Message-ID: Dear Hetters, please test our new graphical installer for Hets based on IzPack and Java. You find the architecture dependent jar files under http://www.informatik.uni-bremen.de/agbkb/forschung/formal_methods/ CoFI/hets/installer/ Please, test everything (including the installation of Isabelle) thoroughly and report errors and everything else as comments to trac ticket #262. The layout of the installed directory includes a bin directory, where a hets startup script and other useful tools are linked. So, have fun and report your experience. We all have to thank Heng Jiang for his effort put into the installers. Cheers, Klaus -- Klaus L?ttich Room: Cartesium 2.049 FB3, SFB/TR8 Phone: +49 (421) 218 64217 From luettich at tzi.de Mon Mar 19 22:03:39 2007 From: luettich at tzi.de (=?ISO-8859-1?Q?Klaus_L=FCttich?=) Date: Mon, 19 Mar 2007 22:03:39 +0100 Subject: [Hets-devel] Graphical Installer In-Reply-To: References: Message-ID: Hi, I missed an important detail: JAVA jar files are launched with "java -jar file.jar" Happy testing, Klaus Am 15.03.2007 um 14:47 schrieb Klaus L?ttich: > > http://www.informatik.uni-bremen.de/agbkb/forschung/formal_methods/ > CoFI/hets/installer/ > > Please, test everything (including the installation of Isabelle) > thoroughly and report errors and everything else as comments to trac > ticket #262. The layout of the installed directory includes a bin > directory, where a hets startup script and other useful tools are > linked. -- Klaus L?ttich Room: Cartesium 2.049 FB3, SFB/TR8 Phone: +49 (421) 218 64217 From maeder at tzi.de Tue Mar 20 10:27:58 2007 From: maeder at tzi.de (Christian Maeder) Date: Tue, 20 Mar 2007 10:27:58 +0100 Subject: [Hets-devel] release 0.7 Message-ID: <45FFA91E.1020908@tzi.de> Hi, I'm soon going to tag our sources for our planed release today http://trac.informatik.uni-bremen.de:8080/hets/roadmap Currently there are still 20 active tickets that I hope are not too critical (so that they can be moved to the next milestone). http://trac.informatik.uni-bremen.de:8080/hets/query?status=new&status=assigned&status=reopened&milestone=0.7 Cheers Christian From luettich at tzi.de Tue Mar 20 12:23:04 2007 From: luettich at tzi.de (=?ISO-8859-1?Q?Klaus_L=FCttich?=) Date: Tue, 20 Mar 2007 12:23:04 +0100 Subject: [Hets-devel] release 0.7 In-Reply-To: <45FFA91E.1020908@tzi.de> References: <45FFA91E.1020908@tzi.de> Message-ID: Hi, Am 20.03.2007 um 10:27 schrieb Christian Maeder: > I'm soon going to tag our sources for our planed release today > > http://trac.informatik.uni-bremen.de:8080/hets/roadmap > > Currently there are still 20 active tickets that I hope are not too > critical (so that they can be moved to the next milestone). Well, ticket #294 seems to be critical, since it prevents recognition of certain Isar proof scripts, which clearly proof the conjecture. -- Klaus L?ttich Room: Cartesium 2.049 FB3, SFB/TR8 Phone: +49 (421) 218 64217 From luettich at tzi.de Tue Mar 20 17:54:42 2007 From: luettich at tzi.de (=?ISO-8859-1?Q?Klaus_L=FCttich?=) Date: Tue, 20 Mar 2007 17:54:42 +0100 Subject: [Hets-devel] Hets Installer: new version Message-ID: Hi, Heng has provided a new testing version of the Hets-Installer. You find it again at http://www.informatik.uni-bremen.de/agbkb/forschung/formal_methods/ CoFI/hets/installer/ And you launch it with "java -jar file.jar" or double clicking on macs (-; And report your problems and comments as comments to ticket #262 on our trac. Cheers, Klaus -- Klaus L?ttich Room: Cartesium 2.049 FB3, SFB/TR8 Phone: +49 (421) 218 64217 From Till.Mossakowski at dfki.de Wed Mar 21 13:14:28 2007 From: Till.Mossakowski at dfki.de (Till Mossakowski) Date: Wed, 21 Mar 2007 13:14:28 +0100 Subject: [Hets-devel] New version of user guide Message-ID: <460121A4.6030904@dfki.de> Dear Hetters, please have a look at the new version of the user guide (for release 0.7). Greetings, Till -- Till Mossakowski Office: Phone +49-421-218-64226 DFKI Lab Bremen Cartesium Fax +49-421-218-9864226 Robert-Hooke-Str. 5 Enrique-Schmidt-Str. 5 Till.Mossakowski at dfki.de D-28359 Bremen Room 2.051 http://www.dfki.de/sks/till Deutsches Forschungszentrum fuer Kuenstliche Intelligenz GmbH principal office: Trippstadter Str. 122, D-67663 Kaiserslautern management board: Prof. Wolfgang Wahlster (chair), Dr. Walter Olthoff supervisory board: Prof. Hans A. Aukes (chair) Amtsgericht Kaiserslautern, HRB 2313 -------------- next part -------------- A non-text attachment was scrubbed... Name: UserGuide.pdf Type: application/pdf Size: 331158 bytes Desc: not available URL: From luettich at tzi.de Fri Mar 23 06:21:45 2007 From: luettich at tzi.de (=?ISO-8859-1?Q?Klaus_L=FCttich?=) Date: Fri, 23 Mar 2007 06:21:45 +0100 Subject: [Hets-devel] emacs mode Message-ID: <1CAADBBD-64AB-414A-8685-7928E4BC5EFD@tzi.de> Dear Hetters, enjoy our casl-mode for GNU emacs available through http://www.informatik.uni-bremen.de/agbkb/forschung/formal_methods/ CoFI/hets/emacs_mode . If something is strange please report any bugs through trac, although I anounced as official end-user contact the new mailing-list hets-users. Cheers, Klaus -- Klaus L?ttich Room: Cartesium 2.049 FB3, SFB/TR8 Phone: +49 (421) 218 64217 From till at tzi.de Sun Mar 25 19:34:27 2007 From: till at tzi.de (Till Mossakowski) Date: Sun, 25 Mar 2007 19:34:27 +0200 Subject: [Hets-devel] Hets 0.7 released Message-ID: <4606B2A3.6000806@tzi.de> Dear Hetters, we proudly present a new hets release 0.7 available from http://www.informatik.uni-bremen.de/dfki-sks/hets Features of release 0.7: - parsing and static analysis of CASL, CASL extensions, and other logics - a (new) variety of logic translations - connection to the theorem provers Isabelle, SPASS, Vampire and to the webservice prover MathServe - use of induction in connection with automated first-order provers - OMDoc import and export - some sample specifications about metric spaces and spatial calculi in HasCASL - a new and easy-to-use Java-based installer Help us to improve hets by reporting bugs via our Trac-Page: http://trac.informatik.uni-bremen.de:8080/hets/ Happy Hetting! Till Mossakowski Christian Maeder Klaus L?ttich From luecke at informatik.uni-bremen.de Wed Mar 28 13:26:42 2007 From: luecke at informatik.uni-bremen.de (Dominik Luecke) Date: Wed, 28 Mar 2007 13:26:42 +0200 Subject: [Hets-devel] Hets installers Message-ID: <460A50F2.7010800@informatik.uni-bremen.de> Dear Hetters we are proud to announce the first release canditate (RC1) of a graphical installer for Hets. It is available on the website http://www.informatik.uni-bremen.de/agbkb/forschung/formal_methods/CoFI/hets/installation_e.htm for Linux-x86 MacOSX-ppc Solaric-Sparc you need Sun Java 1.4.2 or newer. Other java distributions may work but are not tested. This is not yet the final version of the installer, but it works under normal conditions. You might and will encounter bugs under certain circumstances, please report them to http://trac.informatik.uni-bremen.de:8080/hets/ticket/262 Happy hetting and have fun... Regards, Dominik -- Dominik Luecke Phone +49-421-218-64265 Dept. of Computer Science Fax +49-421-218-9864265 University of Bremen luecke at tzi.de P.O.Box 330440, D-28334 Bremen PGP-Key ID 0x2D82571B