changed my maintainer email

git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8261 cec4b9c1-7d33-0410-9eda-942365e851bb
spechub · Jul 5, 2007 · 3f69b69 · 3f69b69
1 parent da2b959
commit 3f69b69
Show file tree

Hide file tree

Showing 168 changed files with 170 additions and 170 deletions.
diff --git a/ATC/DevGraph.der.hs b/ATC/DevGraph.der.hs
@@ -4,7 +4,7 @@ Description :  ShATermConvertible instances
 Copyright   :  (c) C. Maeder, Uni Bremen 2005-2006
 License     :  similar to LGPL, see HetCATS/LICENSE.txt
 
-Maintainer  :  maeder@tzi.de
+Maintainer  :  Christian.Maeder@dfki.de
 Stability   :  provisional
 Portability :  non-portable(imports DevGraph)
 

diff --git a/ATC/Grothendieck.hs b/ATC/Grothendieck.hs
@@ -3,7 +3,7 @@ Module      :  $Header$
 Copyright   :  (c) Felix Reckers, C. Maeder, Uni Bremen 2002-2006
 License     :  similar to LGPL, see HetCATS/LICENSE.txt or LIZENZ.txt
 
-Maintainer  :  maeder@tzi.de
+Maintainer  :  Christian.Maeder@dfki.de
 Stability   :  provisional
 Portability :  non-portable (existential types)
 

diff --git a/CASL/AS_Basic_CASL.der.hs b/CASL/AS_Basic_CASL.der.hs
@@ -4,7 +4,7 @@ Description :  Abstract syntax of CASL basic specifications
 Copyright   :  (c) Klaus Lüttich, Christian Maeder, Uni Bremen 2002-2006
 License     :  similar to LGPL, see HetCATS/LICENSE.txt or LIZENZ.txt
 
-Maintainer  :  maeder@tzi.de
+Maintainer  :  Christian.Maeder@dfki.de
 Stability   :  provisional
 Portability :  portable
 

diff --git a/CASL/AlphaConvert.hs b/CASL/AlphaConvert.hs
@@ -4,7 +4,7 @@ Description :  alpha-conversion (renaming of bound variables) for CASL formulas
 Copyright   :  (c) Christian Maeder, Uni Bremen 2005
 License     :  similar to LGPL, see HetCATS/LICENSE.txt or LIZENZ.txt
 
-Maintainer  :  maeder@tzi.de
+Maintainer  :  Christian.Maeder@dfki.de
 Stability   :  provisional
 Portability :  portable
 

diff --git a/CASL/Fold.hs b/CASL/Fold.hs
@@ -4,7 +4,7 @@ Description :  folding functions for CASL terms and formulas
 Copyright   :  (c) Christian Maeder, Uni Bremen 2005
 License     :  similar to LGPL, see HetCATS/LICENSE.txt or LIZENZ.txt
 
-Maintainer  :  maeder@tzi.de
+Maintainer  :  Christian.Maeder@dfki.de
 Stability   :  provisional
 Portability :  portable
 

diff --git a/CASL/Formula.hs b/CASL/Formula.hs
@@ -4,7 +4,7 @@ Description :  Parser for CASL terms and formulae
 Copyright   :  (c) Christian Maeder, Uni Bremen 2002-2006
 License     :  similar to LGPL, see HetCATS/LICENSE.txt or LIZENZ.txt
 
-Maintainer  :  maeder@tzi.de
+Maintainer  :  Christian.Maeder@dfki.de
 Stability   :  provisional
 Portability :  portable
 

diff --git a/CASL/Inject.hs b/CASL/Inject.hs
@@ -4,7 +4,7 @@ Description :  Replace Sorted_term(s) with explicit injection functions.
 Copyright   :  (c) Christian Maeder, Uni Bremen 2005
 License     :  similar to LGPL, see HetCATS/LICENSE.txt or LIZENZ.txt
 
-Maintainer  :  maeder@tzi.de
+Maintainer  :  Christian.Maeder@dfki.de
 Stability   :  provisional
 Portability :  portable
 

diff --git a/CASL/Kif.hs b/CASL/Kif.hs
@@ -4,7 +4,7 @@ Description :  Parsing lists of lists with SUMO (suggested upper merged ontology
 Copyright   :  (c) T.Mossakowski, C.Maeder and Uni Bremen 2006
 License     :  similar to LGPL, see HetCATS/LICENSE.txt or LIZENZ.txt
 
-Maintainer  :  maeder@tzi.de
+Maintainer  :  Christian.Maeder@dfki.de
 Stability   :  provisional
 Portability :  portable
 

diff --git a/CASL/Kif2CASL.hs b/CASL/Kif2CASL.hs
@@ -4,7 +4,7 @@ Description :  Parser for SUMO (suggested upper merged ontology) .kif files
 Copyright   :  (c) T.Mossakowski, C.Maeder and Uni Bremen 2006
 License     :  similar to LGPL, see HetCATS/LICENSE.txt or LIZENZ.txt
 
-Maintainer  :  maeder@tzi.de
+Maintainer  :  Christian.Maeder@dfki.de
 Stability   :  provisional
 Portability :  portable
 

diff --git a/CASL/MapSentence.hs b/CASL/MapSentence.hs
@@ -4,7 +4,7 @@ Description :  rename symbols of sentences according to a signature morphisms
 Copyright   :  (c) Christian Maeder, Till Mossakowski and Uni Bremen 2002-2006
 License     :  similar to LGPL, see HetCATS/LICENSE.txt or LIZENZ.txt
 
-Maintainer  :  maeder@tzi.de
+Maintainer  :  Christian.Maeder@dfki.de
 Stability   :  provisional
 Portability :  portable
 

diff --git a/CASL/MixfixParser.hs b/CASL/MixfixParser.hs
@@ -4,7 +4,7 @@ Description :  Mixfix analysis of terms
 Copyright   :  Christian Maeder and Uni Bremen 2002-2006
 License     :  similar to LGPL, see HetCATS/LICENSE.txt or LIZENZ.txt
 
-Maintainer  :  maeder@tzi.de
+Maintainer  :  Christian.Maeder@dfki.de
 Stability   :  experimental
 Portability :  portable
 

diff --git a/CASL/Morphism.hs b/CASL/Morphism.hs
@@ -4,7 +4,7 @@ Description :  Symbols and signature morphisms for the CASL logic
 Copyright   :  (c) Christian Maeder, Till Mossakowski and Uni Bremen 2002-2004
 License     :  similar to LGPL, see HetCATS/LICENSE.txt or LIZENZ.txt
 
-Maintainer  :  maeder@tzi.de
+Maintainer  :  Christian.Maeder@dfki.de
 Stability   :  provisional
 Portability :  portable
 

diff --git a/CASL/OpItem.hs b/CASL/OpItem.hs
@@ -4,7 +4,7 @@ Description :  Parser for OP-ITEMs (operation declarations and definitions)
 Copyright   :  (c) Christian Maeder, Uni Bremen 2002-2004
 License     :  similar to LGPL, see HetCATS/LICENSE.txt or LIZENZ.txt
 
-Maintainer  :  maeder@tzi.de
+Maintainer  :  Christian.Maeder@dfki.de
 Stability   :  provisional
 Portability :  portable
 

diff --git a/CASL/Overload.hs b/CASL/Overload.hs
@@ -4,7 +4,7 @@
  Copyright   :  (c) Martin Kuehl, T. Mossakowski, C. Maeder, Uni Bremen 2004-2005
  License     :  similar to LGPL, see HetCATS/LICENSE.txt or LIZENZ.txt
 
- Maintainer  :  maeder@tzi.de
+ Maintainer  :  Christian.Maeder@dfki.de
  Stability   :  provisional
  Portability :  portable
 

diff --git a/CASL/Parse_AS_Basic.hs b/CASL/Parse_AS_Basic.hs
@@ -4,7 +4,7 @@ Description :  Parse for CASL basic specifications (SIG-ITEMS, BASIC-ITEMS, BASI
 Copyright   :  (c) Christian Maeder, Uni Bremen 2002-2004
 License     :  similar to LGPL, see HetCATS/LICENSE.txt or LIZENZ.txt
 
-Maintainer  :  maeder@tzi.de
+Maintainer  :  Christian.Maeder@dfki.de
 Stability   :  provisional
 Portability :  portable
 

diff --git a/CASL/Project.hs b/CASL/Project.hs
@@ -4,7 +4,7 @@ Description :  replace casts with explicit projection functions
 Copyright   :  (c) Christian Maeder, Uni Bremen 2005-2006
 License     :  similar to LGPL, see HetCATS/LICENSE.txt or LIZENZ.txt
 
-Maintainer  :  maeder@tzi.de
+Maintainer  :  Christian.Maeder@dfki.de
 Stability   :  provisional
 Portability :  portable
 

diff --git a/CASL/Quantification.hs b/CASL/Quantification.hs
@@ -4,7 +4,7 @@ Description :  Free variables; getting rid of superfluous quantifications
 Copyright   :  (c) Till Mossakowski and Uni Bremen 2002-2005
 License     :  similar to LGPL, see HetCATS/LICENSE.txt or LIZENZ.txt
 
-Maintainer  :  maeder@tzi.de
+Maintainer  :  Christian.Maeder@dfki.de
 Stability   :  provisional
 Portability :  portable
 

diff --git a/CASL/RunMixfixParser.hs b/CASL/RunMixfixParser.hs
@@ -4,7 +4,7 @@ Description :  make mixfix analysis checkable by RunParsers
 Copyright   :  (c) Klaus Lüttich, Christian Maeder and Uni Bremen 2002-2003
 License     :  similar to LGPL, see HetCATS/LICENSE.txt or LIZENZ.txt
 
-Maintainer  :  maeder@tzi.de
+Maintainer  :  Christian.Maeder@dfki.de
 Stability   :  experimental
 Portability :  portable
 

diff --git a/CASL/RunStaticAna.hs b/CASL/RunStaticAna.hs
@@ -4,7 +4,7 @@ Description :  make static analysis checkable by RunParsers
 Copyright   :  (c) Christian Maeder and Uni Bremen 2002-2003
 License     :  similar to LGPL, see HetCATS/LICENSE.txt or LIZENZ.txt
 
-Maintainer  :  maeder@tzi.de
+Maintainer  :  Christian.Maeder@dfki.de
 Stability   :  experimental
 Portability :  portable
 

diff --git a/CASL/ShowMixfix.hs b/CASL/ShowMixfix.hs
@@ -4,7 +4,7 @@ Description :  put parenthesis around mixfix terms, for unambiguous pretty print
 Copyright   :  (c) Christian Maeder, Uni Bremen 2002-2004
 License     :  similar to LGPL, see HetCATS/LICENSE.txt or LIZENZ.txt
 
-Maintainer  :  maeder@tzi.de
+Maintainer  :  Christian.Maeder@dfki.de
 Stability   :  provisional
 Portability :  portable
 

diff --git a/CASL/Sign.hs b/CASL/Sign.hs
@@ -4,7 +4,7 @@ Description :  CASL signatures (serve as local environments for the basic static
 Copyright   :  (c) Christian Maeder and Uni Bremen 2002-2006
 License     :  similar to LGPL, see HetCATS/LICENSE.txt or LIZENZ.txt
 
-Maintainer  :  maeder@tzi.de
+Maintainer  :  Christian.Maeder@dfki.de
 Stability   :  provisional
 Portability :  portable
 

diff --git a/CASL/Simplify.hs b/CASL/Simplify.hs
@@ -4,7 +4,7 @@ Description :  resolve empty conjunctions and other trivial cases
 Copyright   :  (c) Christian Maeder, Uni Bremen 2005
 License     :  similar to LGPL, see HetCATS/LICENSE.txt or LIZENZ.txt
 
-Maintainer  :  maeder@tzi.de
+Maintainer  :  Christian.Maeder@dfki.de
 Stability   :  provisional
 Portability :  portable
 

diff --git a/CASL/SimplifySen.hs b/CASL/SimplifySen.hs
@@ -4,7 +4,7 @@ Description : simplification of formulas and terms for output after analysis
 Copyright   :  (c) Heng Jiang, C. Maeder, Uni Bremen 2004-2005
 License     :  similar to LGPL, see HetCATS/LICENSE.txt or LIZENZ.txt
 
-Maintainer  :  maeder@tzi.de
+Maintainer  :  Christian.Maeder@dfki.de
 Stability   :  provisional
 Portability :  portable
 

diff --git a/CASL/SortItem.hs b/CASL/SortItem.hs
@@ -4,7 +4,7 @@ Description :  parser for SORT-ITEMs (sort and subsort declarations and definiti
 Copyright   :  (c) Christian Maeder, Uni Bremen 2002-2004
 License     :  similar to LGPL, see HetCATS/LICENSE.txt or LIZENZ.txt
 
-Maintainer  :  maeder@tzi.de
+Maintainer  :  Christian.Maeder@dfki.de
 Stability   :  provisional
 Portability :  portable
 

diff --git a/CASL/StaticAna.hs b/CASL/StaticAna.hs
@@ -4,7 +4,7 @@ Description :  CASL static analysis for basic specifications
 Copyright   :  (c) Christian Maeder and Uni Bremen 2002-2005
 License     :  similar to LGPL, see HetCATS/LICENSE.txt or LIZENZ.txt
 
-Maintainer  :  maeder@tzi.de
+Maintainer  :  Christian.Maeder@dfki.de
 Stability   :  provisional
 Portability :  portable
 

diff --git a/CASL/Sublogic.hs b/CASL/Sublogic.hs
@@ -4,7 +4,7 @@ Description :  sublogic analysis for CASL
 Copyright   :  (c) Pascal Schmidt, C. Maeder, and Uni Bremen 2002-2006
 License     :  similar to LGPL, see HetCATS/LICENSE.txt or LIZENZ.txt
 
-Maintainer  :  maeder@tzi.de
+Maintainer  :  Christian.Maeder@dfki.de
 Stability   :  experimental
 Portability :  portable
 

diff --git a/CASL/SymbolMapAnalysis.hs b/CASL/SymbolMapAnalysis.hs
@@ -4,7 +4,7 @@ Description :  symbol map analysis for the CASL logic.
 Copyright   :  (c) Till Mossakowski, C. Maeder and Uni Bremen 2002-2005
 License     :  similar to LGPL, see HetCATS/LICENSE.txt or LIZENZ.txt
 
-Maintainer  :  maeder@tzi.de
+Maintainer  :  Christian.Maeder@dfki.de
 Stability   :  provisional
 Portability :  portable
 

diff --git a/CASL/SymbolParser.hs b/CASL/SymbolParser.hs
@@ -4,7 +4,7 @@ Description :  Parser for symbols in translations and reductions
 Copyright   :  (c) Christian Maeder, Uni Bremen 2002-2006
 License     :  similar to LGPL, see HetCATS/LICENSE.txt or LIZENZ.txt
 
-Maintainer  :  maeder@tzi.de
+Maintainer  :  Christian.Maeder@dfki.de
 Stability   :  provisional
 Portability :  portable
 

diff --git a/CASL/ToDoc.hs b/CASL/ToDoc.hs
@@ -4,7 +4,7 @@ Description :  pretty printing data types of 'BASIC_SPEC'
 Copyright   :  (c) Christian Maeder and Uni Bremen 2006
 License     :  similar to LGPL, see HetCATS/LICENSE.txt or LIZENZ.txt
 
-Maintainer  :  maeder@tzi.de
+Maintainer  :  Christian.Maeder@dfki.de
 Stability   :  experimental
 Portability :  portable
 

diff --git a/CASL/capa.hs b/CASL/capa.hs
@@ -3,7 +3,7 @@ Module      :  $Header$
 Copyright   :  (c) Christian Maeder, Uni Bremen 2002-2004
 License     :  similar to LGPL, see HetCATS/LICENSE.txt or LIZENZ.txt
 
-Maintainer  :  maeder@tzi.de
+Maintainer  :  Christian.Maeder@dfki.de
 Stability   :  experimental
 Portability :  portable 
 

diff --git a/CASL/fromKif.hs b/CASL/fromKif.hs
@@ -3,7 +3,7 @@ Module      :  $Header$
 Copyright   :  (c) C.Maeder, Uni Bremen 2006
 License     :  similar to LGPL, see HetCATS/LICENSE.txt or LIZENZ.txt
 
-Maintainer  :  maeder@tzi.de
+Maintainer  :  Christian.Maeder@dfki.de
 Stability   :  experimental
 Portability :  portable
 

diff --git a/CoCASL.hs b/CoCASL.hs
@@ -4,7 +4,7 @@ Description :  folder description
 Copyright   :  (c) Christian Maeder and Uni Bremen 2006
 License     :  similar to LGPL, see HetCATS/LICENSE.txt or LIZENZ.txt
 
-Maintainer  :  maeder@tzi.de
+Maintainer  :  Christian.Maeder@dfki.de
 Stability   :  provisional
 Portability :  portable (except CoCASL.Logic_CoCASL)
 

diff --git a/CoCASL/Sublogic.hs b/CoCASL/Sublogic.hs
@@ -3,7 +3,7 @@ Module      :  $Header$
 Copyright   :  (c) Till Mossakowski, C.Maeder and Uni Bremen 2002-2006
 License     :  similar to LGPL, see HetCATS/LICENSE.txt or LIZENZ.txt
 
-Maintainer  :  maeder@tzi.de
+Maintainer  :  Christian.Maeder@dfki.de
 Stability   :  experimental
 Portability :  portable
 

diff --git a/Common.hs b/Common.hs
@@ -4,7 +4,7 @@ Description :  folder description
 Copyright   :  (c) Christian Maeder and Uni Bremen 2005
 License     :  similar to LGPL, see HetCATS/LICENSE.txt or LIZENZ.txt
 
-Maintainer  :  maeder@tzi.de
+Maintainer  :  Christian.Maeder@dfki.de
 Stability   :  provisional
 Portability :  portable
 

diff --git a/Common/AS_Annotation.der.hs b/Common/AS_Annotation.der.hs
@@ -4,7 +4,7 @@ Description :  datastructures for annotations of (Het)CASL.
 Copyright   :  (c) Klaus Lüttich, Christian Maeder, and Uni Bremen 2002-2006
 License     :  similar to LGPL, see HetCATS/LICENSE.txt or LIZENZ.txt
 
-Maintainer  :  maeder@tzi.de
+Maintainer  :  Christian.Maeder@dfki.de
 Stability   :  provisional
 Portability :  portable
 

diff --git a/Common/ATerm/AbstractSyntax.hs b/Common/ATerm/AbstractSyntax.hs
@@ -3,7 +3,7 @@ Module      :  $Header$
 Copyright   :  (c) Klaus Lüttich, C. Maeder, Uni Bremen 2002-2006
 License     :  similar to LGPL, see HetCATS/LICENSE.txt or LIZENZ.txt
 
-Maintainer  :  maeder@tzi.de
+Maintainer  :  Christian.Maeder@dfki.de
 Stability   :  provisional
 Portability :  non-portable(imports System.Mem.StableName and GHC.Prim)
 

diff --git a/Common/ATerm/ConvInstances.hs b/Common/ATerm/ConvInstances.hs
@@ -3,7 +3,7 @@ Module      :  $Header$
 Copyright   :  (c) Klaus Lüttich, C. Maeder, Uni Bremen 2005-2006
 License     :  similar to LGPL, see HetCATS/LICENSE.txt or LIZENZ.txt
 
-Maintainer  :  maeder@tzi.de
+Maintainer  :  Christian.Maeder@dfki.de
 Stability   :  provisional
 Portability :  non-portable (SPECIALIZE pragma, overlapping Typeable instances)
 

diff --git a/Common/ATerm/Conversion.hs b/Common/ATerm/Conversion.hs
@@ -3,7 +3,7 @@ Module      :  $Header$
 Copyright   :  (c) Klaus Lüttich, C. Maeder, Uni Bremen 2002-2006
 License     :  similar to LGPL, see HetCATS/LICENSE.txt or LIZENZ.txt
 
-Maintainer  :  maeder@tzi.de
+Maintainer  :  Christian.Maeder@dfki.de
 Stability   :  provisional
 Portability :  non-portable(imports AbstractSyntax)
 

diff --git a/Common/ATerm/Lib.hs b/Common/ATerm/Lib.hs
@@ -3,7 +3,7 @@ Module      :  $Header$
 Copyright   :  (c) Klaus Lüttich, Uni Bremen 2002-2004
 License     :  similar to LGPL, see HetCATS/LICENSE.txt or LIZENZ.txt
 
-Maintainer  :  maeder@tzi.de
+Maintainer  :  Christian.Maeder@dfki.de
 Stability   :  provisional
 Portability :  portable
 

diff --git a/Common/ATerm/ReadWrite.hs b/Common/ATerm/ReadWrite.hs
@@ -3,7 +3,7 @@ Module      :  $Header$
 Copyright   :  (c) Klaus Lüttich, C.Maeder, Uni Bremen 2002-2005
 License     :  similar to LGPL, see HetCATS/LICENSE.txt or LIZENZ.txt
 
-Maintainer  :  maeder@tzi.de
+Maintainer  :  Christian.Maeder@dfki.de
 Stability   :  provisional
 Portability :  portable
 

diff --git a/Common/ATerm/Unshared.hs b/Common/ATerm/Unshared.hs
@@ -3,7 +3,7 @@ Module      :  $Header$
 Copyright   :  (c) Klaus Lüttich, Uni Bremen 2002-2004
 License     :  similar to LGPL, see HetCATS/LICENSE.txt or LIZENZ.txt
 
-Maintainer  :  maeder@tzi.de
+Maintainer  :  Christian.Maeder@dfki.de
 Stability   :  provisional
 Portability :  portable
 

diff --git a/Common/AnalyseAnnos.hs b/Common/AnalyseAnnos.hs
@@ -4,7 +4,7 @@ Description : Some functions for building and accessing the datastructures of Gl
 Copyright   :  (c) Christian Maeder, Klaus Lüttich and Uni Bremen 2002-2003
 License     :  similar to LGPL, see HetCATS/LICENSE.txt or LIZENZ.txt
 
-Maintainer  :  maeder@tzi.de
+Maintainer  :  Christian.Maeder@dfki.de
 Stability   :  provisional
 Portability :  portable
 

diff --git a/Common/AnnoState.hs b/Common/AnnoState.hs
@@ -4,7 +4,7 @@ Description :  parsing of interspersed annotations
 Copyright   :  (c) Christian Maeder and Uni Bremen 2002-2006
 License     :  similar to LGPL, see HetCATS/LICENSE.txt or LIZENZ.txt
 
-Maintainer  :  maeder@tzi.de
+Maintainer  :  Christian.Maeder@dfki.de
 Stability   :  provisional
 Portability :  portable
 

diff --git a/Common/Anno_Parser.hs b/Common/Anno_Parser.hs
@@ -4,7 +4,7 @@ Description :  parsers for annotations and annoted items
 Copyright   :  (c) Klaus Lüttich, Christian Maeder and Uni Bremen 2002-2006
 License     :  similar to LGPL, see HetCATS/LICENSE.txt or LIZENZ.txt
 
-Maintainer  :  maeder@tzi.de
+Maintainer  :  Christian.Maeder@dfki.de
 Stability   :  provisional
 Portability :  portable