From Till.Mossakowski at dfki.de  Fri Jan  8 12:31:32 2010
From: Till.Mossakowski at dfki.de (Till Mossakowski)
Date: Fri, 08 Jan 2010 12:31:32 +0100
Subject: [Hets-devel] Priorities of tickets
Message-ID: <4B471794.8030708@dfki.de>

Dear Hetters,

I have just changed the priorities of tickets:

- all major tickets are now "normal", which is a new priority.
- all critical tickets are now majors.
- currently, there are no critical tickets. Please mark those
  as critical that are really critical (e.g. the tickets
  needed to reach project goals)
- "blocker" is reserved for bugs that affect the main
  functionality of Hets and need to be solved immediately.

All the best,
Till

-- 
Till Mossakowski      Cartesium, room 2.051  Phone +49-421-218-64226
DFKI GmbH Bremen                             Fax +49-421-218-9864226
Safe & Secure Cognitive Systems             Till.Mossakowski at dfki.de
Enrique-Schmidt-Str. 5, D-28359 Bremen   http://www.dfki.de/sks/till

Deutsches Forschungszentrum fuer Kuenstliche Intelligenz GmbH
principal office, *not* the address for mail etc.!!!:
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


From Christian.Maeder at dfki.de  Wed Jan 27 14:39:58 2010
From: Christian.Maeder at dfki.de (Christian Maeder)
Date: Wed, 27 Jan 2010 14:39:58 +0100
Subject: [Hets-devel] Isabelle 2009(-1)
In-Reply-To: <4B567F86.50608@rickmurphy.org>
References: <4B54748D.1050406@rickmurphy.org>
	<4B547DC1.6000903@dfki.de>	<4B5516B9.7070506@rickmurphy.org>
	<4B55A85A.8090009@dfki.de> <4B567F86.50608@rickmurphy.org>
Message-ID: <4B60422E.40706@dfki.de>

Dear Hets users,

the daily development snapshots of hets have been changed to support
Isabelle 2009 by default now. Note that there are two Isabelle 2009
versions:

Isabelle2009: April 2009
Isabelle2009-1: December 2009

The generated .thy-files only differ in using "setup" rather than "ML"
lines. Apart from a new binary (i.e. hets-2010-01-27.bz2) you also need
to update Hets-lib (to Revision 1361 or higher):

  svn co https://svn-agbkb.informatik.uni-bremen.de/Hets-lib/trunk \
    Hets-lib

Cheers Christian

http://www.dfki.de/sks/hets/installation_e.htm

In order to use Isabelle2008 (June 2008) the file
Hets-lib/Isabelle/prelude.ML must be overwritten with the contents of
Hets-lib/Isabelle/prelude2008.ML and the environment variable
HETS_ISABELLE must be set to Isabelle (with a capital "I"),
i.e. under a bash:

  export HETS_ISABELLE=Isabelle

otherwise "isabelle emacs" will be called.