diff --git a/ATC/DevGraph.der.hs b/ATC/DevGraph.der.hs index 2eb93ce537..c35c5e27e1 100644 --- 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 index 76ca1ea19f..3b1ee5c798 100644 --- 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 index e1f9a7537d..f4a806879f 100644 --- 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 index f0b3ad0510..8fec2b074e 100644 --- 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 index af83c475a8..9f9e8ef916 100644 --- 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 index e7777d2972..e7fd2c5b94 100644 --- 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 index d7d86f0bb2..b5629eaca4 100644 --- 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 index 16eda8f159..2db416c452 100644 --- 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 index 3fc0d80ab5..4e5262a522 100644 --- 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 index 1763dff8ac..9e506bf0be 100644 --- 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 index 80698d3c0a..908ceb5745 100644 --- 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 index d65e5a4129..94b059d6f6 100644 --- 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 index 63105e2c68..b6d176f719 100644 --- 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 index 744eb7045e..896ffeefd6 100644 --- 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 index 7fe11ae012..1fb00c889e 100644 --- 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 index 7927aa05c4..75e070c966 100644 --- 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 index 98727931c5..6df586d526 100644 --- 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 index 196d29c177..e038146380 100644 --- 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 index f31f2ff4f4..219dc0db02 100644 --- 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 index 73c4cafb4b..915d948878 100644 --- 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 index 1245c2b71f..23c09e7a13 100644 --- 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 index fc5143a692..493595f32e 100644 --- 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 index b47c1d1fdc..e65539fe76 100644 --- 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 index d97ac72d37..4b72095e29 100644 --- 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 index b031814457..dc6134be4e 100644 --- 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 index 55f0b528f1..c49a3e340d 100644 --- 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 index 2a49d345cd..f3972c946b 100644 --- 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 index c732aa85bd..f9740982ab 100644 --- 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 index 0951544c8a..4cac50bd94 100644 --- 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 index abf606a8bd..b42accab50 100644 --- 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 index 7efcd6688d..327abe74b8 100644 --- 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 index ae6dc3eb40..bf6109c686 100644 --- 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 index 5621715cba..6c1bcdad37 100644 --- 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 index 64e6a06f41..d7b57141cf 100644 --- 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 index 5411a7e0a8..2372e8ddc3 100644 --- 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 index a548828b21..5703632d55 100644 --- 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 index cda71cf23d..ac4d7da9ac 100644 --- 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 index 7be1bc94e5..fbc106916c 100644 --- 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 index a4873e1753..8f8b770e22 100644 --- 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 index 7d3ad5a363..e2d4a7056f 100644 --- 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 index 8644b2280a..2cdb3cef33 100644 --- 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 index 42c2c22958..cdb953da4d 100644 --- 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 index a8f049e59d..00c24886e8 100644 --- 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 index ad349649a4..d51f47bb60 100644 --- 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 diff --git a/Common/CaslLanguage.hs b/Common/CaslLanguage.hs index 3b2f55fbe9..b543ce6028 100644 --- a/Common/CaslLanguage.hs +++ b/Common/CaslLanguage.hs @@ -3,7 +3,7 @@ Module : $Header$ 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 diff --git a/Common/ConvertGlobalAnnos.hs b/Common/ConvertGlobalAnnos.hs index 50d3ffd2c9..5c69cfe602 100644 --- a/Common/ConvertGlobalAnnos.hs +++ b/Common/ConvertGlobalAnnos.hs @@ -4,7 +4,7 @@ Description : convert global annotations to a list of annotations Copyright : (c) Carsten Fischer and Uni Bremen 2003-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/ConvertLiteral.hs b/Common/ConvertLiteral.hs index 9b0d43aa34..0d8a3b26f0 100644 --- a/Common/ConvertLiteral.hs +++ b/Common/ConvertLiteral.hs @@ -4,7 +4,7 @@ Description : generic conversion of literals Copyright : Christian Maeder and Uni Bremen 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/Common/ConvertMixfixToken.hs b/Common/ConvertMixfixToken.hs index 08dca53393..7ba199977a 100644 --- a/Common/ConvertMixfixToken.hs +++ b/Common/ConvertMixfixToken.hs @@ -4,7 +4,7 @@ Description : generic conversion of mixfix tokens Copyright : Christian Maeder and Uni Bremen 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/Common/DefaultMorphism.hs b/Common/DefaultMorphism.hs index 489ba0c76a..b6d4f24afa 100644 --- a/Common/DefaultMorphism.hs +++ b/Common/DefaultMorphism.hs @@ -4,7 +4,7 @@ Description : supply a default morphism for a given signature type Copyright : (c) 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 : provisional Portability : portable diff --git a/Common/Doc.hs b/Common/Doc.hs index b5c48ec4c1..3367f997c2 100644 --- a/Common/Doc.hs +++ b/Common/Doc.hs @@ -4,7 +4,7 @@ Description : document data type 'Doc' for (pretty) printing in various formats 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 diff --git a/Common/Earley.hs b/Common/Earley.hs index 6f313c50f4..f030c50fa4 100644 --- a/Common/Earley.hs +++ b/Common/Earley.hs @@ -4,7 +4,7 @@ Description : generic mixfix analysis, using an Earley parser Copyright : Christian Maeder and Uni Bremen 2003-2005 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/GlobalAnnotations.hs b/Common/GlobalAnnotations.hs index de90def0a4..387aa6fac4 100644 --- a/Common/GlobalAnnotations.hs +++ b/Common/GlobalAnnotations.hs @@ -4,7 +4,7 @@ Description : data structures for global annotations 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 : experimental Portability : portable diff --git a/Common/Id.hs b/Common/Id.hs index 37afb9d60f..7aacf5b0e0 100644 --- a/Common/Id.hs +++ b/Common/Id.hs @@ -4,7 +4,7 @@ Description : positions, simple and mixfix identifiers Copyright : (c) Klaus Lüttich and 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 : provisional Portability : portable diff --git a/Common/InjMap.hs b/Common/InjMap.hs index 61982472b8..4830232e4b 100644 --- a/Common/InjMap.hs +++ b/Common/InjMap.hs @@ -4,7 +4,7 @@ Description : injective maps Copyright : (c) 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/Common/Keywords.hs b/Common/Keywords.hs index 52ae90fce5..c35b685347 100644 --- a/Common/Keywords.hs +++ b/Common/Keywords.hs @@ -4,7 +4,7 @@ Description : String constants for CASL keywords to be used for parsing and pri 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 : provisional Portability : portable diff --git a/Common/Lexer.hs b/Common/Lexer.hs index 34f9266fb7..ddf03175b1 100644 --- a/Common/Lexer.hs +++ b/Common/Lexer.hs @@ -4,7 +4,7 @@ Description : scanner for Casl tokens using Parsec 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/Common/Lib/Graph.hs b/Common/Lib/Graph.hs index bd80ac362f..1be2e74fce 100644 --- a/Common/Lib/Graph.hs +++ b/Common/Lib/Graph.hs @@ -4,7 +4,7 @@ Description : Tree-based implementation of 'Graph' and 'DynGraph' using Data.Ma Copyright : (c) Martin Erwig, Christian Maeder and Uni Bremen 1999-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/Lib/Rel.hs b/Common/Lib/Rel.hs index 972e8103c2..311bf6a1f3 100644 --- a/Common/Lib/Rel.hs +++ b/Common/Lib/Rel.hs @@ -4,7 +4,7 @@ Description : Relations, based on maps Copyright : (c) Uni Bremen 2003-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/Lib/RelCheck.hs b/Common/Lib/RelCheck.hs index 84a6ca3237..132587c044 100644 --- a/Common/Lib/RelCheck.hs +++ b/Common/Lib/RelCheck.hs @@ -5,7 +5,7 @@ Description : a couple of test cases mainly for intransKernel Copyright : (c) Uni Bremen 2003-2005 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 (Arbitrary instance not of form (T a b c)) diff --git a/Common/Lib/State.hs b/Common/Lib/State.hs index b38fc79d76..006412ac47 100644 --- a/Common/Lib/State.hs +++ b/Common/Lib/State.hs @@ -4,7 +4,7 @@ Description : State type from Control.Monad.State but no class MonadState Copyright : 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 : experimental Portability : portable diff --git a/Common/Partial.hs b/Common/Partial.hs index fea9d9a31b..3e41ce72b5 100644 --- a/Common/Partial.hs +++ b/Common/Partial.hs @@ -4,7 +4,7 @@ Description : support for partial orders Copyright : (c) Keith Wansbrough 200 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/Prec.hs b/Common/Prec.hs index 2d565f7f5f..8e30e9386e 100644 --- a/Common/Prec.hs +++ b/Common/Prec.hs @@ -4,7 +4,7 @@ Description : precedence checking Copyright : 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/Common/Result.hs b/Common/Result.hs index 4ac9982f3d..a544bbc2f1 100644 --- a/Common/Result.hs +++ b/Common/Result.hs @@ -4,7 +4,7 @@ Description : 'Result' monad for accumulating 'Diagnosis' messages Copyright : (c) K. Lüttich, T. Mossakowski, 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 : portable diff --git a/Common/ResultT.hs b/Common/ResultT.hs index 76169b8f89..8e892486b5 100644 --- a/Common/ResultT.hs +++ b/Common/ResultT.hs @@ -4,7 +4,7 @@ Description : 'ResultT' type and a monadic transformer instance Copyright : (c) T. Mossakowski, 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 : provisional Portability : portable diff --git a/Common/RunParsers.hs b/Common/RunParsers.hs index 4dd0b3a6ba..649940df7e 100644 --- a/Common/RunParsers.hs +++ b/Common/RunParsers.hs @@ -4,7 +4,7 @@ Description : test some parsers (and printers) 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 : provisional Portability : portable diff --git a/Common/SimpPretty.hs b/Common/SimpPretty.hs index fcfd3afc0b..d906995001 100644 --- a/Common/SimpPretty.hs +++ b/Common/SimpPretty.hs @@ -4,7 +4,7 @@ Description : pretty printing combinators 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/ToId.hs b/Common/ToId.hs index 0c3be50c7a..b85f7ff3b4 100644 --- a/Common/ToId.hs +++ b/Common/ToId.hs @@ -3,7 +3,7 @@ Module : $Header$ 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/Common/Token.hs b/Common/Token.hs index ced822bcc0..c586a8a5ee 100644 --- a/Common/Token.hs +++ b/Common/Token.hs @@ -5,7 +5,7 @@ Description : parser for CASL 'Id's based on "Common.Lexer" Copyright : (c) Christian Maeder 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/Common/Trace.hs b/Common/Trace.hs index 5851e33642..88deae1fb2 100644 --- a/Common/Trace.hs +++ b/Common/Trace.hs @@ -5,7 +5,7 @@ Description : utilites for tracing Copyright : (c) Christian Maeder 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/Common/annos.hs b/Common/annos.hs index 3581fa23e7..add5431e40 100644 --- a/Common/annos.hs +++ b/Common/annos.hs @@ -3,7 +3,7 @@ Module : $Header$ Copyright : (c) Christian 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 : experimental Portability : portable diff --git a/Comorphisms/CASL2HasCASL.hs b/Comorphisms/CASL2HasCASL.hs index cfc65d8de9..6e683388a4 100644 --- a/Comorphisms/CASL2HasCASL.hs +++ b/Comorphisms/CASL2HasCASL.hs @@ -3,7 +3,7 @@ Module : $Header$ Copyright : (c) Till Mossakowski, Christian Maeder and Uni Bremen 2003-2005 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 Logic.Logic) diff --git a/Comorphisms/CASL2PCFOL.inline.hs b/Comorphisms/CASL2PCFOL.inline.hs index 2fc6b020cc..2984c7ebd8 100644 --- a/Comorphisms/CASL2PCFOL.inline.hs +++ b/Comorphisms/CASL2PCFOL.inline.hs @@ -3,7 +3,7 @@ Module : $Header$ Copyright : (c) Zicheng Wang, 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/Comorphisms/CASL2SubCFOL.inline.hs b/Comorphisms/CASL2SubCFOL.inline.hs index 7790d8c9c9..fbb44098e4 100644 --- a/Comorphisms/CASL2SubCFOL.inline.hs +++ b/Comorphisms/CASL2SubCFOL.inline.hs @@ -3,7 +3,7 @@ Module : $Header$ Copyright : (c) Zicheng Wang, 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 Logic.Comorphism) diff --git a/Comorphisms/CFOL2IsabelleHOL.hs b/Comorphisms/CFOL2IsabelleHOL.hs index b08e3459a9..5c30f987c7 100644 --- a/Comorphisms/CFOL2IsabelleHOL.hs +++ b/Comorphisms/CFOL2IsabelleHOL.hs @@ -3,7 +3,7 @@ Module : $Header$ Copyright : (c) Till Mossakowski and Uni Bremen 2003-2005 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 Logic.Logic) diff --git a/Comorphisms/CoCASL2CoSubCFOL.hs b/Comorphisms/CoCASL2CoSubCFOL.hs index 806e7740ee..1f7e4936e0 100644 --- a/Comorphisms/CoCASL2CoSubCFOL.hs +++ b/Comorphisms/CoCASL2CoSubCFOL.hs @@ -3,7 +3,7 @@ Module : $Header$ Copyright : (c) Till Mossakowski, 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 : provisional Portability : non-portable (imports Logic.Comorphism) diff --git a/Comorphisms/HasCASL2HasCASL.hs b/Comorphisms/HasCASL2HasCASL.hs index 78543991ca..22b5480fcf 100644 --- a/Comorphisms/HasCASL2HasCASL.hs +++ b/Comorphisms/HasCASL2HasCASL.hs @@ -3,7 +3,7 @@ Module : $Header$ Copyright : (c) Christian Maeder, Uni Bremen 2004 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 Logic.Logic) diff --git a/Comorphisms/HasCASL2Haskell.hs b/Comorphisms/HasCASL2Haskell.hs index 9aa65d3ce2..b10241ce8d 100644 --- a/Comorphisms/HasCASL2Haskell.hs +++ b/Comorphisms/HasCASL2Haskell.hs @@ -3,7 +3,7 @@ Module : $Header$ Copyright : (c) Christian 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 : non-portable diff --git a/Comorphisms/HasCASL2IsabelleHOL.hs b/Comorphisms/HasCASL2IsabelleHOL.hs index 69a7f7c857..6b71fdc44f 100644 --- a/Comorphisms/HasCASL2IsabelleHOL.hs +++ b/Comorphisms/HasCASL2IsabelleHOL.hs @@ -3,7 +3,7 @@ Module : $Header$ Copyright : (c) Sonja Groening, C. Maeder, Uni Bremen 2003-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 Logic.Logic) diff --git a/Comorphisms/OWL_DL2CASL.hs b/Comorphisms/OWL_DL2CASL.hs index 61face5fa3..5ce1b4e6ad 100644 --- a/Comorphisms/OWL_DL2CASL.hs +++ b/Comorphisms/OWL_DL2CASL.hs @@ -3,7 +3,7 @@ Module : $Header$ Copyright : (c) Christian Maeder, Uni Bremen 2002-2007 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/Comorphisms/PCoClTyConsHOL2IsabelleHOL.hs b/Comorphisms/PCoClTyConsHOL2IsabelleHOL.hs index 1c59a8c8ce..a7d08fe637 100644 --- a/Comorphisms/PCoClTyConsHOL2IsabelleHOL.hs +++ b/Comorphisms/PCoClTyConsHOL2IsabelleHOL.hs @@ -3,7 +3,7 @@ Module : $Header$ Copyright : (c) C. Maeder, DFKI 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 Logic.Logic) diff --git a/ConstraintCASL/Parse_AS_Basic.hs b/ConstraintCASL/Parse_AS_Basic.hs index 3159d02123..58b8d6356f 100644 --- a/ConstraintCASL/Parse_AS_Basic.hs +++ b/ConstraintCASL/Parse_AS_Basic.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 : provisional Portability : portable diff --git a/Driver/Options.hs b/Driver/Options.hs index a5d1a822ac..5d3bfa6664 100644 --- a/Driver/Options.hs +++ b/Driver/Options.hs @@ -4,7 +4,7 @@ Description : Datatypes and functions for options that hets understands. Copyright : (c) Martin Kühl, 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/Driver/WriteFn.hs b/Driver/WriteFn.hs index b50e1ed159..ef208bb9ba 100644 --- a/Driver/WriteFn.hs +++ b/Driver/WriteFn.hs @@ -5,7 +5,7 @@ Description : Writing various formats, according to Hets options 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(DevGraph) diff --git a/GUI/ConsoleUtils.hs b/GUI/ConsoleUtils.hs index a64ab97d4f..983ca8ec5d 100644 --- a/GUI/ConsoleUtils.hs +++ b/GUI/ConsoleUtils.hs @@ -3,7 +3,7 @@ Module : $Header$ Copyright : (c) 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/GUI/ShowGraph.hs b/GUI/ShowGraph.hs index 19b95a776c..d88c82dbe8 100644 --- a/GUI/ShowGraph.hs +++ b/GUI/ShowGraph.hs @@ -3,7 +3,7 @@ Module : $Header$ Copyright : (c) 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 : non-portable (Logic) diff --git a/GUI/Utils.hs b/GUI/Utils.hs index ecda8aeee2..aba3a87ffd 100644 --- a/GUI/Utils.hs +++ b/GUI/Utils.hs @@ -4,7 +4,7 @@ Module : $Header$ Copyright : (c) 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 : non-portable (cpp) diff --git a/HasCASL.hs b/HasCASL.hs index c3639bfa86..d525b16c70 100644 --- a/HasCASL.hs +++ b/HasCASL.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 (except HasCASL.Logic_HasCASL) diff --git a/HasCASL/As.hs b/HasCASL/As.hs index 6b00a5b7b3..a0f118f151 100644 --- a/HasCASL/As.hs +++ b/HasCASL/As.hs @@ -3,7 +3,7 @@ Module : $Header$ Copyright : (c) Christian Maeder and Uni Bremen 2003-2005 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/HasCASL/AsToLe.hs b/HasCASL/AsToLe.hs index 3c27c1099b..0c320b344f 100644 --- a/HasCASL/AsToLe.hs +++ b/HasCASL/AsToLe.hs @@ -3,7 +3,7 @@ Module : $Header$ Copyright : (c) Christian Maeder and Uni Bremen 2003-2005 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/HasCASL/AsUtils.hs b/HasCASL/AsUtils.hs index fd00cd50a1..73cabe0be3 100644 --- a/HasCASL/AsUtils.hs +++ b/HasCASL/AsUtils.hs @@ -3,7 +3,7 @@ Module : $Header$ Copyright : (c) Christian Maeder and Uni Bremen 2003-2005 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/HasCASL/Builtin.hs b/HasCASL/Builtin.hs index 73fdd95bed..7569716cc4 100644 --- a/HasCASL/Builtin.hs +++ b/HasCASL/Builtin.hs @@ -3,7 +3,7 @@ Module : $Header$ Copyright : (c) Christian Maeder and Uni Bremen 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/HasCASL/ClassAna.hs b/HasCASL/ClassAna.hs index 9d8280add5..8e1a9539ce 100644 --- a/HasCASL/ClassAna.hs +++ b/HasCASL/ClassAna.hs @@ -3,7 +3,7 @@ Module : $Header$ Copyright : (c) Christian Maeder and Uni Bremen 2003-2005 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/HasCASL/Constrain.hs b/HasCASL/Constrain.hs index 02906f789c..3ab06e7ed6 100644 --- a/HasCASL/Constrain.hs +++ b/HasCASL/Constrain.hs @@ -3,7 +3,7 @@ Module : $Header$ Copyright : (c) Christian Maeder and Uni Bremen 2003-2005 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/HasCASL/ConvertTypePattern.hs b/HasCASL/ConvertTypePattern.hs index fd8bf423c2..5b4e12a68a 100644 --- a/HasCASL/ConvertTypePattern.hs +++ b/HasCASL/ConvertTypePattern.hs @@ -3,7 +3,7 @@ Module : $Header$ 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/HasCASL/DataAna.hs b/HasCASL/DataAna.hs index 52603e2912..f4284a5af9 100644 --- a/HasCASL/DataAna.hs +++ b/HasCASL/DataAna.hs @@ -3,7 +3,7 @@ Module : $Header$ 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/HasCASL/FoldTerm.hs b/HasCASL/FoldTerm.hs index 5602f1306e..f7551e627d 100644 --- a/HasCASL/FoldTerm.hs +++ b/HasCASL/FoldTerm.hs @@ -3,7 +3,7 @@ Module : $Header$ 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/HasCASL/HToken.hs b/HasCASL/HToken.hs index e9701a42cd..eabef9b9dd 100644 --- a/HasCASL/HToken.hs +++ b/HasCASL/HToken.hs @@ -3,7 +3,7 @@ Module : $Header$ Copyright : (c) Christian Maeder 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/HasCASL/Le.hs b/HasCASL/Le.hs index c7fb25e9ce..f0425f89bc 100644 --- a/HasCASL/Le.hs +++ b/HasCASL/Le.hs @@ -3,7 +3,7 @@ Module : $Header$ Copyright : (c) Christian Maeder and Uni Bremen 2003-2005 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/HasCASL/Logic_HasCASL.hs b/HasCASL/Logic_HasCASL.hs index a202b88362..f0255d2d7f 100644 --- a/HasCASL/Logic_HasCASL.hs +++ b/HasCASL/Logic_HasCASL.hs @@ -4,7 +4,7 @@ Description : instance of class Logic Copyright : (c) Christian Maeder and Uni Bremen 2003-2005 License : similar to LGPL, see HetCATS/LICENSE.txt or LIZENZ.txt -Maintainer : maeder@tzi.de +Maintainer : Christian.Maeder@dfki.de Stability : experimental Portability : non-portable (imports Logic.Logic) diff --git a/HasCASL/MapTerm.hs b/HasCASL/MapTerm.hs index e9526d5db3..65234ce060 100644 --- a/HasCASL/MapTerm.hs +++ b/HasCASL/MapTerm.hs @@ -3,7 +3,7 @@ Module : $Header$ Copyright : (c) Christian Maeder and Uni Bremen 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/HasCASL/Merge.hs b/HasCASL/Merge.hs index d46be82abb..cf5e1c8554 100644 --- a/HasCASL/Merge.hs +++ b/HasCASL/Merge.hs @@ -3,7 +3,7 @@ Module : $Header$ Copyright : (c) Christian Maeder and Uni Bremen 2003-2005 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/HasCASL/MinType.hs b/HasCASL/MinType.hs index c33247a8e7..1b2278e2b6 100644 --- a/HasCASL/MinType.hs +++ b/HasCASL/MinType.hs @@ -4,7 +4,7 @@ Module : $Header$ Copyright : (c) Christian Maeder and Uni Bremen 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/HasCASL/MixAna.hs b/HasCASL/MixAna.hs index a43c5f915e..49f4bc2a7b 100644 --- a/HasCASL/MixAna.hs +++ b/HasCASL/MixAna.hs @@ -4,7 +4,7 @@ Description : mixfix analysis for terms Copyright : (c) Christian Maeder and Uni Bremen 2003-2005 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/HasCASL/Morphism.hs b/HasCASL/Morphism.hs index 6b2664ca08..37ab817399 100644 --- a/HasCASL/Morphism.hs +++ b/HasCASL/Morphism.hs @@ -3,7 +3,7 @@ Module : $Header$ 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/HasCASL/OpDecl.hs b/HasCASL/OpDecl.hs index 4a74e3a394..8ec89d2780 100644 --- a/HasCASL/OpDecl.hs +++ b/HasCASL/OpDecl.hs @@ -3,7 +3,7 @@ Module : $Header$ Copyright : (c) Christian Maeder and Uni Bremen 2003-2005 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/HasCASL/ParseItem.hs b/HasCASL/ParseItem.hs index 89c11d2dec..1014968b7b 100644 --- a/HasCASL/ParseItem.hs +++ b/HasCASL/ParseItem.hs @@ -3,7 +3,7 @@ Module : $Header$ 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/HasCASL/ParseTerm.hs b/HasCASL/ParseTerm.hs index 1f348bcca8..a72a397396 100644 --- a/HasCASL/ParseTerm.hs +++ b/HasCASL/ParseTerm.hs @@ -3,7 +3,7 @@ Module : $Header$ 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/HasCASL/PrintAs.hs b/HasCASL/PrintAs.hs index fbc8a93342..b5079082f1 100644 --- a/HasCASL/PrintAs.hs +++ b/HasCASL/PrintAs.hs @@ -3,7 +3,7 @@ Module : $Header$ Copyright : (c) Christian Maeder and Uni Bremen 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/HasCASL/PrintLe.hs b/HasCASL/PrintLe.hs index 90b8ff14fa..c6611cd9d7 100644 --- a/HasCASL/PrintLe.hs +++ b/HasCASL/PrintLe.hs @@ -2,7 +2,7 @@ Module : $Header: /repository/HetCATS/HasCASL/PrintLe.hs,v 1.68 2007/06/12 13:02:45 2maeder Exp $ Copyright : (c) Christian Maeder and Uni Bremen 2002-2003 -Maintainer : maeder@tzi.de +Maintainer : Christian.Maeder@dfki.de Stability : experimental Portability : portable diff --git a/HasCASL/ProgEq.hs b/HasCASL/ProgEq.hs index 6cdc1291f5..46d09bf01a 100644 --- a/HasCASL/ProgEq.hs +++ b/HasCASL/ProgEq.hs @@ -3,7 +3,7 @@ Module : $Header$ Copyright : (c) Christian Maeder and Uni Bremen 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/HasCASL/RawSym.hs b/HasCASL/RawSym.hs index e262b57eb3..b1cf55f6f1 100644 --- a/HasCASL/RawSym.hs +++ b/HasCASL/RawSym.hs @@ -3,7 +3,7 @@ Module : $Header$ 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 : provisional Portability : portable diff --git a/HasCASL/RunMixfixParser.hs b/HasCASL/RunMixfixParser.hs index b583addff8..8a6a19a8ff 100644 --- a/HasCASL/RunMixfixParser.hs +++ b/HasCASL/RunMixfixParser.hs @@ -3,7 +3,7 @@ Module : $Header$ 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 : experimental Portability : portable diff --git a/HasCASL/RunStaticAna.hs b/HasCASL/RunStaticAna.hs index b79abfd424..d8e7edda7d 100644 --- a/HasCASL/RunStaticAna.hs +++ b/HasCASL/RunStaticAna.hs @@ -3,7 +3,7 @@ Module : $Header$ Copyright : (c) Christian Maeder and Uni Bremen 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/HasCASL/SimplifyTerm.hs b/HasCASL/SimplifyTerm.hs index 6b40c1004d..3ccd1a6562 100644 --- a/HasCASL/SimplifyTerm.hs +++ b/HasCASL/SimplifyTerm.hs @@ -3,7 +3,7 @@ Module : $Header$ 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/HasCASL/Sublogic.hs b/HasCASL/Sublogic.hs index 899432e116..ab5a887607 100644 --- a/HasCASL/Sublogic.hs +++ b/HasCASL/Sublogic.hs @@ -3,7 +3,7 @@ Module : $Header$ Copyright : (c) Sonja Groening, 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/HasCASL/SubtypeDecl.hs b/HasCASL/SubtypeDecl.hs index 7d12a8408f..37eaabae88 100644 --- a/HasCASL/SubtypeDecl.hs +++ b/HasCASL/SubtypeDecl.hs @@ -3,7 +3,7 @@ Module : $Header$ 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/HasCASL/SymbItem.hs b/HasCASL/SymbItem.hs index 82f4a0a4cf..11ab971cb1 100644 --- a/HasCASL/SymbItem.hs +++ b/HasCASL/SymbItem.hs @@ -3,7 +3,7 @@ Module : $Header$ Copyright : (c) Christian Maeder and Uni Bremen 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/HasCASL/Symbol.hs b/HasCASL/Symbol.hs index 17c304646c..c6bff8df8b 100644 --- a/HasCASL/Symbol.hs +++ b/HasCASL/Symbol.hs @@ -3,7 +3,7 @@ Module : $Header$ Copyright : (c) Christian Maeder and Uni Bremen 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/HasCASL/SymbolMapAnalysis.hs b/HasCASL/SymbolMapAnalysis.hs index d15ee15ff7..bafa0f1827 100644 --- a/HasCASL/SymbolMapAnalysis.hs +++ b/HasCASL/SymbolMapAnalysis.hs @@ -3,7 +3,7 @@ Module : $Header$ Copyright : (c) Till Mossakowski, 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/HasCASL/TypeAna.hs b/HasCASL/TypeAna.hs index 9d26cff831..4d9816d7ac 100644 --- a/HasCASL/TypeAna.hs +++ b/HasCASL/TypeAna.hs @@ -3,7 +3,7 @@ Module : $Header$ Copyright : (c) Christian Maeder and Uni Bremen 2003-2005 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/HasCASL/TypeCheck.hs b/HasCASL/TypeCheck.hs index 73ad07f646..b97fa3b996 100644 --- a/HasCASL/TypeCheck.hs +++ b/HasCASL/TypeCheck.hs @@ -3,7 +3,7 @@ Module : $Header$ Copyright : (c) Christian Maeder and Uni Bremen 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/HasCASL/TypeDecl.hs b/HasCASL/TypeDecl.hs index 2b2a2efd39..26fc5ab903 100644 --- a/HasCASL/TypeDecl.hs +++ b/HasCASL/TypeDecl.hs @@ -3,7 +3,7 @@ Module : $Header$ 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/HasCASL/TypeMixAna.hs b/HasCASL/TypeMixAna.hs index c1d57e951d..d715f87122 100644 --- a/HasCASL/TypeMixAna.hs +++ b/HasCASL/TypeMixAna.hs @@ -3,7 +3,7 @@ Module : $Header$ 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 : experimental Portability : portable diff --git a/HasCASL/Unify.hs b/HasCASL/Unify.hs index 2658ebbf0b..64c878d654 100644 --- a/HasCASL/Unify.hs +++ b/HasCASL/Unify.hs @@ -3,7 +3,7 @@ Module : $Header$ Copyright : (c) Christian Maeder and Uni Bremen 2003-2005 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/HasCASL/VarDecl.hs b/HasCASL/VarDecl.hs index c4a27286c9..9682471c66 100644 --- a/HasCASL/VarDecl.hs +++ b/HasCASL/VarDecl.hs @@ -3,7 +3,7 @@ Module : $Header$ 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/HasCASL/hacapa.hs b/HasCASL/hacapa.hs index a006076e02..90ce0719c4 100644 --- a/HasCASL/hacapa.hs +++ b/HasCASL/hacapa.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/Haskell.hs b/Haskell.hs index 9c6fcaf661..ac7f115c83 100644 --- a/Haskell.hs +++ b/Haskell.hs @@ -4,7 +4,7 @@ Module : $Header$ 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 : mostly portable diff --git a/Haskell/BaseATC.hs b/Haskell/BaseATC.hs index a0f1a5d7af..5c0fbd5ed1 100644 --- a/Haskell/BaseATC.hs +++ b/Haskell/BaseATC.hs @@ -3,7 +3,7 @@ Module : $Header$ 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/Haskell/CreateModules.hs b/Haskell/CreateModules.hs index ee801806fe..93c82e68d3 100644 --- a/Haskell/CreateModules.hs +++ b/Haskell/CreateModules.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 : provisional Portability : non-portable(Logic) diff --git a/Haskell/Haskell2DG.hs b/Haskell/Haskell2DG.hs index 58fd0efa06..788b94a59d 100644 --- a/Haskell/Haskell2DG.hs +++ b/Haskell/Haskell2DG.hs @@ -3,7 +3,7 @@ Module : $Header$ Copyright : (c) Christian 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 : provisional Portability : portable diff --git a/Haskell/HatAna.hs b/Haskell/HatAna.hs index 82c64aa617..e4792a9413 100644 --- a/Haskell/HatAna.hs +++ b/Haskell/HatAna.hs @@ -3,7 +3,7 @@ Module : $Header$ 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 : non-portable (multiple parameter class, functional dependency) diff --git a/Haskell/HatParser.hs b/Haskell/HatParser.hs index c6d7fb9dc1..4369c4232b 100644 --- a/Haskell/HatParser.hs +++ b/Haskell/HatParser.hs @@ -3,7 +3,7 @@ Module : $Header$ Copyright : (c) Christian 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 : non-portable(multiple parameter class, functional dependency) diff --git a/Haskell/Hatchet/Docs.hs b/Haskell/Hatchet/Docs.hs index 9c638f1f92..30c0912d14 100644 --- a/Haskell/Hatchet/Docs.hs +++ b/Haskell/Hatchet/Docs.hs @@ -4,7 +4,7 @@ Module : $Header$ Copyright : (c) 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/Haskell/Hatchet/FiniteMaps.hs b/Haskell/Hatchet/FiniteMaps.hs index 155e2783ab..3eeac5d4b7 100644 --- a/Haskell/Hatchet/FiniteMaps.hs +++ b/Haskell/Hatchet/FiniteMaps.hs @@ -5,7 +5,7 @@ Module : $Header$ Copyright : (c) 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/Haskell/Hatchet/TIHetsModule.hs b/Haskell/Hatchet/TIHetsModule.hs index 5dafd7c611..af88eb59b4 100644 --- a/Haskell/Hatchet/TIHetsModule.hs +++ b/Haskell/Hatchet/TIHetsModule.hs @@ -4,7 +4,7 @@ Module : $Header$ Copyright : (c) 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/Haskell/Hatchet/TIPhase.hs b/Haskell/Hatchet/TIPhase.hs index 811f33a849..39f912c199 100644 --- a/Haskell/Hatchet/TIPhase.hs +++ b/Haskell/Hatchet/TIPhase.hs @@ -4,7 +4,7 @@ Module : $Header$ Copyright : (c) 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/Haskell/Logic_Haskell.hs b/Haskell/Logic_Haskell.hs index 2a1a017e43..81efd07b61 100644 --- a/Haskell/Logic_Haskell.hs +++ b/Haskell/Logic_Haskell.hs @@ -3,7 +3,7 @@ Module : $Header$ Copyright : (c) Christian Maeder, Sonja Groening, 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 : non-portable(Logic) diff --git a/Haskell/PreludeString.append.hs b/Haskell/PreludeString.append.hs index 9550e3f088..c4f29c24f3 100644 --- a/Haskell/PreludeString.append.hs +++ b/Haskell/PreludeString.append.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/Haskell/TiATC.der.hs b/Haskell/TiATC.der.hs index e6561d43a7..f34460dd96 100644 --- a/Haskell/TiATC.der.hs +++ b/Haskell/TiATC.der.hs @@ -4,7 +4,7 @@ Module : $Header$ Copyright : (c) Christian 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 : provisional Portability : portable diff --git a/Haskell/TiDecorateATC.der.hs b/Haskell/TiDecorateATC.der.hs index c6ca3acdeb..a06b28da6a 100644 --- a/Haskell/TiDecorateATC.der.hs +++ b/Haskell/TiDecorateATC.der.hs @@ -3,7 +3,7 @@ Module : $Header$ Copyright : (c) Christian 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 : provisional Portability : portable diff --git a/Haskell/TiPropATC.der.hs b/Haskell/TiPropATC.der.hs index 51f2c7c90e..761238e114 100644 --- a/Haskell/TiPropATC.der.hs +++ b/Haskell/TiPropATC.der.hs @@ -3,7 +3,7 @@ Module : $Header$ Copyright : (c) Christian 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 : provisional Portability : portable diff --git a/Haskell/TranslateId.hs b/Haskell/TranslateId.hs index 766bee93a1..6cb9e221fb 100644 --- a/Haskell/TranslateId.hs +++ b/Haskell/TranslateId.hs @@ -3,7 +3,7 @@ Module : $Header$ Copyright : (c) Katja Groeblinghoff, C.Maeder, Uni Bremen 2003 - 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/Haskell/Wrapper.hs b/Haskell/Wrapper.hs index 5a4c60a83e..5f7f15a3be 100644 --- a/Haskell/Wrapper.hs +++ b/Haskell/Wrapper.hs @@ -3,7 +3,7 @@ Module: $Header$ Copyright : (c) C. Maeder, Uni Bremen 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/Haskell/h2h.hs b/Haskell/h2h.hs index e07e766d31..b3ee095891 100644 --- a/Haskell/h2h.hs +++ b/Haskell/h2h.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/Haskell/hana.hs b/Haskell/hana.hs index e20fb629a6..7b3fda87f2 100644 --- a/Haskell/hana.hs +++ b/Haskell/hana.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 : non-portable diff --git a/Haskell/wrap.hs b/Haskell/wrap.hs index 950b3ddb94..e26b55c1d9 100755 --- a/Haskell/wrap.hs +++ b/Haskell/wrap.hs @@ -3,7 +3,7 @@ Module : $Header$ Copyright : (c) Christian 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 : experimental Portability : portable diff --git a/Isabelle/IsaConsts.hs b/Isabelle/IsaConsts.hs index 17c697f1cd..6d62ec3e81 100644 --- a/Isabelle/IsaConsts.hs +++ b/Isabelle/IsaConsts.hs @@ -3,7 +3,7 @@ Module : $Header$ Copyright : (c) Sonja Groening, Christian Maeder, Uni Bremen 2004-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/Isabelle/IsaParse.hs b/Isabelle/IsaParse.hs index 241a93cdad..992e5e3d93 100644 --- a/Isabelle/IsaParse.hs +++ b/Isabelle/IsaParse.hs @@ -3,7 +3,7 @@ Module : $Header$ Copyright : (c) C. Maeder and 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/Isabelle/IsaPrint.hs b/Isabelle/IsaPrint.hs index bef3634abc..aa10ed12b7 100644 --- a/Isabelle/IsaPrint.hs +++ b/Isabelle/IsaPrint.hs @@ -4,7 +4,7 @@ Copyright : (c) University of Cambridge, Cambridge, England adaption (c) Till Mossakowski, 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/Isabelle/IsaProve.hs b/Isabelle/IsaProve.hs index f8c313ee4a..abea724ebd 100644 --- a/Isabelle/IsaProve.hs +++ b/Isabelle/IsaProve.hs @@ -4,7 +4,7 @@ Copyright : (c) University of Cambridge, Cambridge, England adaption (c) Till Mossakowski, 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/Isabelle/IsaSign.hs b/Isabelle/IsaSign.hs index de5699f35c..6078ae50d2 100644 --- a/Isabelle/IsaSign.hs +++ b/Isabelle/IsaSign.hs @@ -4,7 +4,7 @@ Copyright : (c) University of Cambridge, Cambridge, England adaption (c) Till Mossakowski, 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/Isabelle/IsaStrings.hs b/Isabelle/IsaStrings.hs index 74c1beabc6..34c7273f13 100644 --- a/Isabelle/IsaStrings.hs +++ b/Isabelle/IsaStrings.hs @@ -3,7 +3,7 @@ Module : $Header$ Copyright : (c) 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/Isabelle/Logic_Isabelle.hs b/Isabelle/Logic_Isabelle.hs index 85c0c3a2f5..0f59505a8a 100644 --- a/Isabelle/Logic_Isabelle.hs +++ b/Isabelle/Logic_Isabelle.hs @@ -3,7 +3,7 @@ Module : $Header$ Copyright : (c) Till Mossakowski, 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 : non-portable (imports Logic) diff --git a/Isabelle/Translate.hs b/Isabelle/Translate.hs index 99cf00e002..a5c2ab02a9 100644 --- a/Isabelle/Translate.hs +++ b/Isabelle/Translate.hs @@ -4,7 +4,7 @@ Copyright : (c) University of Cambridge, Cambridge, England adaption (c) Till Mossakowski, 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/Isabelle/isa.hs b/Isabelle/isa.hs index 9d83f25ae1..6654be41b4 100644 --- a/Isabelle/isa.hs +++ b/Isabelle/isa.hs @@ -3,7 +3,7 @@ Module : $Header$ Copyright : (c) C. 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/Modal.hs b/Modal.hs index bea46ba36f..4f72a92fde 100644 --- a/Modal.hs +++ b/Modal.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 Modal.Logic_Modal) diff --git a/OWL_DL/ReadWrite.der.hs b/OWL_DL/ReadWrite.der.hs index fdfc1b34ba..982bc7a5df 100644 --- a/OWL_DL/ReadWrite.der.hs +++ b/OWL_DL/ReadWrite.der.hs @@ -3,7 +3,7 @@ Module : $Header$ Copyright : (c) Heng Jiang, C. Maeder, Uni Bremen 2004-2006 License : similar to LGPL, see HetCATS/LICENSE.txt -Maintainer : maeder@tzi.de +Maintainer : Christian.Maeder@dfki.de Stability : provisional Portability : portable diff --git a/Static/PrintDevGraph.hs b/Static/PrintDevGraph.hs index 84538b3bfb..bc10438785 100644 --- a/Static/PrintDevGraph.hs +++ b/Static/PrintDevGraph.hs @@ -4,7 +4,7 @@ Description : pretty printing (parts of) a LibEnv Copyright : (c) 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(DevGraph) diff --git a/Syntax/ADoc.hs b/Syntax/ADoc.hs index 69fc847a70..00810da7e9 100644 --- a/Syntax/ADoc.hs +++ b/Syntax/ADoc.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 diff --git a/Syntax/Parse_AS_Architecture.hs b/Syntax/Parse_AS_Architecture.hs index 43c86c9275..69dc820229 100644 --- a/Syntax/Parse_AS_Architecture.hs +++ b/Syntax/Parse_AS_Architecture.hs @@ -3,7 +3,7 @@ Description : parser for CASL architectural specifications Copyright : (c) Maciek Makowski, Warsaw University 2003-2004, C. Maeder 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 (via imports) diff --git a/Syntax/Parse_AS_Library.hs b/Syntax/Parse_AS_Library.hs index 20126c7c49..3bda6266ca 100644 --- a/Syntax/Parse_AS_Library.hs +++ b/Syntax/Parse_AS_Library.hs @@ -3,7 +3,7 @@ Module : $Header$ Description : parser for CASL specification librariess Copyright : (c) Maciek Makowski, 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(Grothendieck) diff --git a/Syntax/Parse_AS_Structured.hs b/Syntax/Parse_AS_Structured.hs index 1f8579ce6a..35d0921a93 100644 --- a/Syntax/Parse_AS_Structured.hs +++ b/Syntax/Parse_AS_Structured.hs @@ -3,7 +3,7 @@ Module : $Header$ Description : parser for CASL (heterogeneous) structured specifications Copyright : (c) Till Mossakowski, Christian 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 : non-portable(Grothendieck) diff --git a/hets.hs b/hets.hs index d3a5293eee..1b249cbab2 100644 --- a/hets.hs +++ b/hets.hs @@ -4,7 +4,7 @@ Module : $Header$ Copyright : (c) Uni Bremen 2003-2005 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 Logic.Logic) diff --git a/utils/DrIFT-src/UserRulesHetCATS.hs b/utils/DrIFT-src/UserRulesHetCATS.hs index ff0bc67c03..0101a38606 100644 --- a/utils/DrIFT-src/UserRulesHetCATS.hs +++ b/utils/DrIFT-src/UserRulesHetCATS.hs @@ -3,7 +3,7 @@ Module : $Header$ Copyright : (c) K. Lüttich, 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 : provisional Portability : portable diff --git a/utils/GenerateRules/GenerateRules.hs b/utils/GenerateRules/GenerateRules.hs index 2f483ea834..26e85b58dc 100644 --- a/utils/GenerateRules/GenerateRules.hs +++ b/utils/GenerateRules/GenerateRules.hs @@ -4,7 +4,7 @@ Description : generate DriFT directives 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 : portable @@ -61,7 +61,7 @@ genRules flags files = "\nDescription : generated " ++ rule ++ " instances" ++ "\nCopyright : (c) Uni Bremen 2005" ++ "\nLicense : similar to LGPL, see HetCATS/LICENSE.txt" ++ - "\n\nMaintainer : maeder@tzi.de" ++ + "\n\nMaintainer : Christian.Maeder@dfki.de" ++ "\nStability : provisional" ++ "\nPortability : non-portable(overlapping Typeable instances)\n" ++ diff --git a/utils/GenerateRules/ParseFile.hs b/utils/GenerateRules/ParseFile.hs index 23ff02af80..e285268725 100644 --- a/utils/GenerateRules/ParseFile.hs +++ b/utils/GenerateRules/ParseFile.hs @@ -3,7 +3,7 @@ Module : $Header$ Copyright : (c) Felix Reckers, 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/utils/InlineAxioms/InlineAxioms.hs b/utils/InlineAxioms/InlineAxioms.hs index 2b1f1e2611..34a59f36ee 100644 --- a/utils/InlineAxioms/InlineAxioms.hs +++ b/utils/InlineAxioms/InlineAxioms.hs @@ -3,7 +3,7 @@ Module : $Header$ Copyright : (c) T.Mossakowski, C.Maeder, K.Luettich, 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 @@ -428,7 +428,7 @@ processFile prog file = do "\nDescription : with inlined axioms" ++ "\nCopyright : (c) Uni and DFKI Bremen 2005-2007" ++ "\nLicense : similar to LGPL, see HetCATS/LICENSE.txt" ++ - "\n\nMaintainer : maeder@tzi.de" ++ + "\n\nMaintainer : Christian.Maeder@dfki.de" ++ "\nStability : provisional" ++ "\nPortability : portable\n" ++ "\nModule with inlined inlineAxioms-strings generated by " ++ diff --git a/utils/appendHaskellPreludeString.hs b/utils/appendHaskellPreludeString.hs index ca47a86c63..fbd342ba61 100644 --- a/utils/appendHaskellPreludeString.hs +++ b/utils/appendHaskellPreludeString.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