From 06bdbec0c8f2bb3990502958614ea5fe6be9654c Mon Sep 17 00:00:00 2001 From: Dierk Koenig Date: Tue, 16 Jun 2020 21:41:59 +0200 Subject: [PATCH] updating the copyright statements (plus harmonizing) --- LICENSE.txt | 2 +- README.md | 2 +- frege/compiler/Classes.fr | 2 +- frege/compiler/Classtools.fr | 2 +- frege/compiler/GenMeta.fr | 2 +- frege/compiler/Javatypes.fr | 2 +- frege/compiler/Kinds.fr | 3 +-- frege/compiler/Main.fr | 4 ++-- frege/compiler/Typecheck.fr | 2 +- frege/compiler/common/Annotate.fr | 2 +- frege/compiler/common/Desugar.fr | 2 +- frege/compiler/grammar/Frege.fr | 2 +- frege/compiler/grammar/Frege.y | 2 +- frege/compiler/grammar/Lexer.fr | 4 ++-- frege/compiler/passes/Imp.fr | 2 +- frege/compiler/passes/Transdef.fr | 2 +- frege/compiler/tc/Methods.fr | 4 ++-- frege/compiler/tc/Util.fr | 2 +- frege/compiler/types/Positions.fr | 2 +- frege/data/HashMap.fr | 3 +-- frege/data/List.fr | 2 +- frege/data/Maybe.fr | 2 +- frege/data/TreeMap.fr | 2 +- frege/java/Awt.fr | 2 +- frege/java/Lang.fr | 2 +- frege/java/Swing.fr | 3 +-- frege/java/lang/Reflect.fr | 2 +- frege/lib/ForkJoin.fr | 2 +- frege/prelude/Maybe.fr | 4 ++-- frege/prelude/PreludeBase.fr | 2 +- frege/prelude/PreludeIO.fr | 4 ++-- frege/prelude/PreludeList.fr | 2 +- frege/prelude/PreludeMonad.fr | 2 +- frege/run/RunTM.java | 2 +- frege/run7/Thunk.java | 2 +- frege/run8/Thunk.java | 2 +- frege/runtime/Array.java | 2 +- frege/runtime/Meta.java | 4 ++-- frege/runtime/Ref.java | 2 +- frege/runtime/Runtime.java | 2 +- frege/runtime/Value.java | 2 +- frege/tools/Doc.fr | 2 +- frege/tools/YYgen.fr | 2 +- frege/tools/doc/Utilities.fr | 2 +- scripts/genF.pl | 4 ++-- scripts/genFun.pl | 2 +- scripts/genFunc.pl | 2 +- scripts/genLam.pl | 4 ++-- scripts/genP.pl | 4 ++-- scripts/genProd.pl | 4 ++-- tests/qc/PreludeProperties.fr | 2 +- 51 files changed, 61 insertions(+), 64 deletions(-) diff --git a/LICENSE.txt b/LICENSE.txt index 7c6453a4..b1903bee 100644 --- a/LICENSE.txt +++ b/LICENSE.txt @@ -14,7 +14,7 @@ licenses are BSD-style or compatible. The Frege License - Copyright © 2011-2015, Ingo Wechsung + Copyright © 2011 - 2020, Ingo Wechsung All rights reserved. Redistribution and use in source and binary forms, with or diff --git a/README.md b/README.md index 044f4403..4d38b2e1 100644 --- a/README.md +++ b/README.md @@ -300,7 +300,7 @@ API Docs Copyright and License --------------------- -Copyright (c) Ingo Wechsung, 2011-2016. All rights reserved. +Copyright (c) Ingo Wechsung, 2011-2020. All rights reserved. The use and distribution terms for this software are covered by the [BSD 3-clause license](http://opensource.org/licenses/BSD-3-Clause) which can be found in the file LICENSE.txt at the root of this distribution. diff --git a/frege/compiler/Classes.fr b/frege/compiler/Classes.fr index 4c7a14bf..d6a9fab8 100644 --- a/frege/compiler/Classes.fr +++ b/frege/compiler/Classes.fr @@ -1,6 +1,6 @@ {- - Copyright © 2011 - 2015, Ingo Wechsung + Copyright © 2011 - 2020, Ingo Wechsung All rights reserved. Redistribution and use in source and binary forms, with or diff --git a/frege/compiler/Classtools.fr b/frege/compiler/Classtools.fr index 95f086bf..a514f0c5 100644 --- a/frege/compiler/Classtools.fr +++ b/frege/compiler/Classtools.fr @@ -1,6 +1,6 @@ {- «•»«•»«•»«•»«•»«•»«•»«•»«•»«•»«•»«•»«•»«•»«•»«•»«•»«•»«•»«•»«•»«•»«•»«•» - Copyright © 2011 - 2015, Ingo Wechsung + Copyright © 2011 - 2020, Ingo Wechsung All rights reserved. Redistribution and use in source and binary forms, with or diff --git a/frege/compiler/GenMeta.fr b/frege/compiler/GenMeta.fr index aa13105b..a4208acd 100644 --- a/frege/compiler/GenMeta.fr +++ b/frege/compiler/GenMeta.fr @@ -1,6 +1,6 @@ {- - Copyright © 2011 - 2015, Ingo Wechsung + Copyright © 2011 - 2020, Ingo Wechsung All rights reserved. Redistribution and use in source and binary forms, with or diff --git a/frege/compiler/Javatypes.fr b/frege/compiler/Javatypes.fr index 34956f4b..851751ad 100644 --- a/frege/compiler/Javatypes.fr +++ b/frege/compiler/Javatypes.fr @@ -1,6 +1,6 @@ {- «•»«•»«•»«•»«•»«•»«•»«•»«•»«•»«•»«•»«•»«•»«•»«•»«•»«•»«•»«•»«•»«•»«•»«•» - Copyright © 2011 - 2015, Ingo Wechsung + Copyright © 2011 - 2020, Ingo Wechsung All rights reserved. Redistribution and use in source and binary forms, with or diff --git a/frege/compiler/Kinds.fr b/frege/compiler/Kinds.fr index 9c73e4cc..6df2807f 100644 --- a/frege/compiler/Kinds.fr +++ b/frege/compiler/Kinds.fr @@ -1,6 +1,6 @@ {- «•»«•»«•»«•»«•»«•»«•»«•»«•»«•»«•»«•»«•»«•»«•»«•»«•»«•»«•»«•»«•»«•»«•»«•» - Copyright © 2011 - 2015, Ingo Wechsung + Copyright © 2011 - 2020, Ingo Wechsung All rights reserved. Redistribution and use in source and binary forms, with or @@ -440,4 +440,3 @@ rhoTCons set (rho@RhoTau{}) = tauTCons set rho.tau tauTCons set (TCon{name}) = set `including` name tauTCons set (TApp a b) = tauTCons (tauTCons set a) b tauTCons set _ = set - \ No newline at end of file diff --git a/frege/compiler/Main.fr b/frege/compiler/Main.fr index 20bd573c..1062201a 100644 --- a/frege/compiler/Main.fr +++ b/frege/compiler/Main.fr @@ -1,5 +1,5 @@ {- - Copyright © 2011 - 2015, Ingo Wechsung + Copyright © 2011 - 2020, Ingo Wechsung All rights reserved. @@ -990,4 +990,4 @@ compileMe tree g reason = do then return undefined else return undefined return Aborted{because="not complete yet"} - -} \ No newline at end of file + -} diff --git a/frege/compiler/Typecheck.fr b/frege/compiler/Typecheck.fr index 2ff0ac2b..4412a71a 100644 --- a/frege/compiler/Typecheck.fr +++ b/frege/compiler/Typecheck.fr @@ -1,6 +1,6 @@ {- - Copyright © 2011 - 2015, Ingo Wechsung + Copyright © 2011 - 2020, Ingo Wechsung All rights reserved. Redistribution and use in source and binary forms, with or diff --git a/frege/compiler/common/Annotate.fr b/frege/compiler/common/Annotate.fr index 1a813e09..976dbf8f 100644 --- a/frege/compiler/common/Annotate.fr +++ b/frege/compiler/common/Annotate.fr @@ -1,6 +1,6 @@ {- «•»«•»«•»«•»«•»«•»«•»«•»«•»«•»«•»«•»«•»«•»«•»«•»«•»«•»«•»«•»«•»«•»«•»«•» - Copyright © 2011 - 2015, Ingo Wechsung + Copyright © 2011 - 2020, Ingo Wechsung All rights reserved. Redistribution and use in source and binary forms, with or diff --git a/frege/compiler/common/Desugar.fr b/frege/compiler/common/Desugar.fr index 7d4755b3..a4377fa0 100644 --- a/frege/compiler/common/Desugar.fr +++ b/frege/compiler/common/Desugar.fr @@ -1,5 +1,5 @@ {- - Copyright © 2011 - 2015, Ingo Wechsung + Copyright © 2011 - 2020, Ingo Wechsung All rights reserved. diff --git a/frege/compiler/grammar/Frege.fr b/frege/compiler/grammar/Frege.fr index e92aadd7..8573c5ef 100644 --- a/frege/compiler/grammar/Frege.fr +++ b/frege/compiler/grammar/Frege.fr @@ -1,7 +1,7 @@ --begin top {- - Copyright © 2011 - 2015, Ingo Wechsung + Copyright © 2011 - 2020, Ingo Wechsung All rights reserved. Redistribution and use in source and binary forms, with or diff --git a/frege/compiler/grammar/Frege.y b/frege/compiler/grammar/Frege.y index 14e7eb6f..d4e9b4cd 100644 --- a/frege/compiler/grammar/Frege.y +++ b/frege/compiler/grammar/Frege.y @@ -1,7 +1,7 @@ %{ {- - Copyright © 2011 - 2015, Ingo Wechsung + Copyright © 2011 - 2020, Ingo Wechsung All rights reserved. Redistribution and use in source and binary forms, with or diff --git a/frege/compiler/grammar/Lexer.fr b/frege/compiler/grammar/Lexer.fr index a05d0547..b6af810e 100644 --- a/frege/compiler/grammar/Lexer.fr +++ b/frege/compiler/grammar/Lexer.fr @@ -1,6 +1,6 @@ {- - Copyright © 2011 - 2015, Ingo Wechsung + Copyright © 2011 - 2020, Ingo Wechsung All rights reserved. Redistribution and use in source and binary forms, with or @@ -629,4 +629,4 @@ main [fileortext] = do -- let r = evalState (passCS (string2cs fdata)) println (lexer (string2cs fdata) ) return () -main xs = main [joined "\n" xs] \ No newline at end of file +main xs = main [joined "\n" xs] diff --git a/frege/compiler/passes/Imp.fr b/frege/compiler/passes/Imp.fr index 52200bb8..aa16771f 100644 --- a/frege/compiler/passes/Imp.fr +++ b/frege/compiler/passes/Imp.fr @@ -1,6 +1,6 @@ {- - Copyright © 2011 - 2015, Ingo Wechsung + Copyright © 2011 - 2020, Ingo Wechsung All rights reserved. Redistribution and use in source and binary forms, with or diff --git a/frege/compiler/passes/Transdef.fr b/frege/compiler/passes/Transdef.fr index 47455855..c7d56400 100644 --- a/frege/compiler/passes/Transdef.fr +++ b/frege/compiler/passes/Transdef.fr @@ -1,6 +1,6 @@ {- - Copyright © 2011 - 2015, Ingo Wechsung + Copyright © 2011 - 2020, Ingo Wechsung All rights reserved. Redistribution and use in source and binary forms, with or diff --git a/frege/compiler/tc/Methods.fr b/frege/compiler/tc/Methods.fr index ea4119c5..a98b464f 100644 --- a/frege/compiler/tc/Methods.fr +++ b/frege/compiler/tc/Methods.fr @@ -1,6 +1,6 @@ {- - Copyright © 2011 - 2015, Ingo Wechsung + Copyright © 2011 - 2020, Ingo Wechsung All rights reserved. Redistribution and use in source and binary forms, with or @@ -500,4 +500,4 @@ checkException g t = filter (not . U.isThrowable g) (collect t) where collect t = case isEither t of Just (left, right) -> right : collect left - _ -> [t] \ No newline at end of file + _ -> [t] diff --git a/frege/compiler/tc/Util.fr b/frege/compiler/tc/Util.fr index d104ce81..4456cf32 100644 --- a/frege/compiler/tc/Util.fr +++ b/frege/compiler/tc/Util.fr @@ -1,6 +1,6 @@ {- «•»«•»«•»«•»«•»«•»«•»«•»«•»«•»«•»«•»«•»«•»«•»«•»«•»«•»«•»«•»«•»«•»«•»«•» - Copyright © 2011 - 2015, Ingo Wechsung + Copyright © 2011 - 2020, Ingo Wechsung All rights reserved. Redistribution and use in source and binary forms, with or diff --git a/frege/compiler/types/Positions.fr b/frege/compiler/types/Positions.fr index 8cace699..b7fd3325 100644 --- a/frege/compiler/types/Positions.fr +++ b/frege/compiler/types/Positions.fr @@ -1,6 +1,6 @@ {- «•»«•»«•»«•»«•»«•»«•»«•»«•»«•»«•»«•»«•»«•»«•»«•»«•»«•»«•»«•»«•»«•»«•»«•» - Copyright © 2011 - 2015, Ingo Wechsung + Copyright © 2011 - 2020, Ingo Wechsung All rights reserved. Redistribution and use in source and binary forms, with or diff --git a/frege/data/HashMap.fr b/frege/data/HashMap.fr index ea3069db..63569340 100644 --- a/frege/data/HashMap.fr +++ b/frege/data/HashMap.fr @@ -1,6 +1,6 @@ {- - Copyright © 2011 - 2015, Ingo Wechsung + Copyright © 2011 - 2020, Ingo Wechsung All rights reserved. Redistribution and use in source and binary forms, with or @@ -1069,4 +1069,3 @@ private native copyOf java.util.Arrays.copyOf{} -} private native arraycopy java.lang.System.arraycopy{} ∷ ArrayOf s (HashMap k v) -> Int -> ArrayOf s (HashMap k v) -> Int -> Int -> ST s () - \ No newline at end of file diff --git a/frege/data/List.fr b/frege/data/List.fr index a682f042..e51d9d57 100644 --- a/frege/data/List.fr +++ b/frege/data/List.fr @@ -1,5 +1,5 @@ {- - Copyright © 2011 - 2015, Ingo Wechsung + Copyright © 2011 - 2020, Ingo Wechsung All rights reserved. diff --git a/frege/data/Maybe.fr b/frege/data/Maybe.fr index a2f2869c..58d669aa 100644 --- a/frege/data/Maybe.fr +++ b/frege/data/Maybe.fr @@ -1,5 +1,5 @@ {- - Copyright © 2011 - 2015, Ingo Wechsung + Copyright © 2011 - 2020, Ingo Wechsung All rights reserved. diff --git a/frege/data/TreeMap.fr b/frege/data/TreeMap.fr index 952f4731..3d029a25 100644 --- a/frege/data/TreeMap.fr +++ b/frege/data/TreeMap.fr @@ -1,6 +1,6 @@ {- - Copyright © 2011 - 2015, Ingo Wechsung + Copyright © 2011 - 2020, Ingo Wechsung All rights reserved. Redistribution and use in source and binary forms, with or diff --git a/frege/java/Awt.fr b/frege/java/Awt.fr index 19854e63..3343bd44 100644 --- a/frege/java/Awt.fr +++ b/frege/java/Awt.fr @@ -1,6 +1,6 @@ {- «•»«•»«•»«•»«•»«•»«•»«•»«•»«•»«•»«•»«•»«•»«•»«•»«•»«•»«•»«•»«•»«•»«•»«•» - Copyright © 2011 - 2015, Ingo Wechsung + Copyright © 2011 - 2020, Ingo Wechsung All rights reserved. Redistribution and use in source and binary forms, with or diff --git a/frege/java/Lang.fr b/frege/java/Lang.fr index 3304a15b..bf7f5f9c 100644 --- a/frege/java/Lang.fr +++ b/frege/java/Lang.fr @@ -1,6 +1,6 @@ {- «•»«•»«•»«•»«•»«•»«•»«•»«•»«•»«•»«•»«•»«•»«•»«•»«•»«•»«•»«•»«•»«•»«•»«•» - Copyright © 2011 - 2015, Ingo Wechsung + Copyright © 2011 - 2020, Ingo Wechsung All rights reserved. Redistribution and use in source and binary forms, with or diff --git a/frege/java/Swing.fr b/frege/java/Swing.fr index c9e916df..0f96f9b1 100644 --- a/frege/java/Swing.fr +++ b/frege/java/Swing.fr @@ -1,6 +1,6 @@ {- «•»«•»«•»«•»«•»«•»«•»«•»«•»«•»«•»«•»«•»«•»«•»«•»«•»«•»«•»«•»«•»«•»«•»«•» - Copyright © 2011 - 2015, Ingo Wechsung + Copyright © 2011 - 2020, Ingo Wechsung All rights reserved. Redistribution and use in source and binary forms, with or @@ -169,4 +169,3 @@ data JTextField = native javax.swing.JTextField where data GroupLayout = native javax.swing.GroupLayout where native new :: MutableIO Container -> IOMutable GroupLayout native setHorizontalGroup :: MutableIO GroupLayout -> MutableIO Group -> IO () - \ No newline at end of file diff --git a/frege/java/lang/Reflect.fr b/frege/java/lang/Reflect.fr index 658184a3..c293a1b6 100644 --- a/frege/java/lang/Reflect.fr +++ b/frege/java/lang/Reflect.fr @@ -1,6 +1,6 @@ {- «•»«•»«•»«•»«•»«•»«•»«•»«•»«•»«•»«•»«•»«•»«•»«•»«•»«•»«•»«•»«•»«•»«•»«•» - Copyright © 2011 - 2015, Ingo Wechsung + Copyright © 2011 - 2020, Ingo Wechsung All rights reserved. Redistribution and use in source and binary forms, with or diff --git a/frege/lib/ForkJoin.fr b/frege/lib/ForkJoin.fr index c87e900c..3e71934b 100644 --- a/frege/lib/ForkJoin.fr +++ b/frege/lib/ForkJoin.fr @@ -1,5 +1,5 @@ {- - Copyright © 2011 - 2015, Ingo Wechsung + Copyright © 2011 - 2020, Ingo Wechsung * All rights reserved. * diff --git a/frege/prelude/Maybe.fr b/frege/prelude/Maybe.fr index 173f5330..3628da84 100644 --- a/frege/prelude/Maybe.fr +++ b/frege/prelude/Maybe.fr @@ -1,5 +1,5 @@ {- - Copyright © 2011 - 2015, Ingo Wechsung + Copyright © 2011 - 2020, Ingo Wechsung All rights reserved. @@ -124,4 +124,4 @@ listToMaybe xs = listToMaybe xs.toList where -- reexported from frege.prelu --- convert a 'Maybe' to a single element list or an empty list maybeToList :: Maybe a -> [a] -maybeToList = toList \ No newline at end of file +maybeToList = toList diff --git a/frege/prelude/PreludeBase.fr b/frege/prelude/PreludeBase.fr index d021562b..4704bf64 100644 --- a/frege/prelude/PreludeBase.fr +++ b/frege/prelude/PreludeBase.fr @@ -1,7 +1,7 @@ -- Making the license a package comment causes it to be part of every -- runnable frege code. {-- - Copyright © 2011 - 2015, Ingo Wechsung + Copyright © 2011 - 2020, Ingo Wechsung All rights reserved. diff --git a/frege/prelude/PreludeIO.fr b/frege/prelude/PreludeIO.fr index 1ccab574..5c366428 100644 --- a/frege/prelude/PreludeIO.fr +++ b/frege/prelude/PreludeIO.fr @@ -1,5 +1,5 @@ {- - Copyright © 2011 - 2015, Ingo Wechsung + Copyright © 2011 - 2020, Ingo Wechsung All rights reserved. @@ -397,4 +397,4 @@ type IORef a = MutableIO (Ref a) readIORef = Ref.get writeIORef = Ref.put modifyIORef = Ref.modify -newIORef = Ref.new \ No newline at end of file +newIORef = Ref.new diff --git a/frege/prelude/PreludeList.fr b/frege/prelude/PreludeList.fr index 48fb65e1..a5c4ab2c 100644 --- a/frege/prelude/PreludeList.fr +++ b/frege/prelude/PreludeList.fr @@ -1,5 +1,5 @@ {- - Copyright © 2011 - 2015, Ingo Wechsung + Copyright © 2011 - 2020, Ingo Wechsung All rights reserved. diff --git a/frege/prelude/PreludeMonad.fr b/frege/prelude/PreludeMonad.fr index d9fc725f..ee3f2dfa 100644 --- a/frege/prelude/PreludeMonad.fr +++ b/frege/prelude/PreludeMonad.fr @@ -1,5 +1,5 @@ {- - Copyright © 2011 - 2015, Ingo Wechsung + Copyright © 2011 - 2020, Ingo Wechsung All rights reserved. diff --git a/frege/run/RunTM.java b/frege/run/RunTM.java index 194faf7b..e5678b96 100644 --- a/frege/run/RunTM.java +++ b/frege/run/RunTM.java @@ -3,7 +3,7 @@ */ /* - Copyright © 2011 - 2015, Ingo Wechsung + Copyright © 2011 - 2020, Ingo Wechsung All rights reserved. diff --git a/frege/run7/Thunk.java b/frege/run7/Thunk.java index 467143a6..5add6c8c 100644 --- a/frege/run7/Thunk.java +++ b/frege/run7/Thunk.java @@ -1,5 +1,5 @@ /* - Copyright © 2011 - 2015, Ingo Wechsung + Copyright © 2011 - 2020, Ingo Wechsung All rights reserved. Redistribution and use in source and binary forms, with or diff --git a/frege/run8/Thunk.java b/frege/run8/Thunk.java index 7538e273..99de5312 100644 --- a/frege/run8/Thunk.java +++ b/frege/run8/Thunk.java @@ -1,5 +1,5 @@ /* - Copyright © 2011 - 2015, Ingo Wechsung + Copyright © 2011 - 2020, Ingo Wechsung All rights reserved. Redistribution and use in source and binary forms, with or diff --git a/frege/runtime/Array.java b/frege/runtime/Array.java index 933fa7fe..e4eef5cc 100644 --- a/frege/runtime/Array.java +++ b/frege/runtime/Array.java @@ -1,6 +1,6 @@ /* «•»«•»«•»«•»«•»«•»«•»«•»«•»«•»«•»«•»«•»«•»«•»«•»«•»«•»«•»«•»«•»«•»«•»«•» - Copyright © 2011 - 2015, Ingo Wechsung + Copyright © 2011 - 2020, Ingo Wechsung All rights reserved. Redistribution and use in source and binary forms, with or diff --git a/frege/runtime/Meta.java b/frege/runtime/Meta.java index 7a2a6292..31a02bde 100644 --- a/frege/runtime/Meta.java +++ b/frege/runtime/Meta.java @@ -1,6 +1,6 @@ /* «•»«•»«•»«•»«•»«•»«•»«•»«•»«•»«•»«•»«•»«•»«•»«•»«•»«•»«•»«•»«•»«•»«•»«•» - Copyright © 2011 - 2015, Ingo Wechsung + Copyright © 2011 - 2020, Ingo Wechsung All rights reserved. Redistribution and use in source and binary forms, with or @@ -361,4 +361,4 @@ public class Meta { */ String[] jnames() default {}; } -} \ No newline at end of file +} diff --git a/frege/runtime/Ref.java b/frege/runtime/Ref.java index 38a73f09..9a9bc6c9 100644 --- a/frege/runtime/Ref.java +++ b/frege/runtime/Ref.java @@ -1,6 +1,6 @@ /* «•»«•»«•»«•»«•»«•»«•»«•»«•»«•»«•»«•»«•»«•»«•»«•»«•»«•»«•»«•»«•»«•»«•»«•» - Copyright © 2011 - 2015, Ingo Wechsung + Copyright © 2011 - 2020, Ingo Wechsung All rights reserved. Redistribution and use in source and binary forms, with or diff --git a/frege/runtime/Runtime.java b/frege/runtime/Runtime.java index cd0af08b..7be18ff0 100644 --- a/frege/runtime/Runtime.java +++ b/frege/runtime/Runtime.java @@ -1,5 +1,5 @@ /* - Copyright © 2011 - 2015, Ingo Wechsung + Copyright © 2011 - 2020, Ingo Wechsung All rights reserved. Redistribution and use in source and binary forms, with or diff --git a/frege/runtime/Value.java b/frege/runtime/Value.java index 585c3f12..85b1ec78 100644 --- a/frege/runtime/Value.java +++ b/frege/runtime/Value.java @@ -1,5 +1,5 @@ /* - Copyright © 2011 - 2015, Ingo Wechsung + Copyright © 2011 - 2020, Ingo Wechsung All rights reserved. Redistribution and use in source and binary forms, with or diff --git a/frege/tools/Doc.fr b/frege/tools/Doc.fr index 914c4d78..bc1dd5cc 100644 --- a/frege/tools/Doc.fr +++ b/frege/tools/Doc.fr @@ -1,6 +1,6 @@ {- - Copyright © 2011 - 2015, Ingo Wechsung + Copyright © 2011 - 2020, Ingo Wechsung All rights reserved. Redistribution and use in source and binary forms, with or diff --git a/frege/tools/YYgen.fr b/frege/tools/YYgen.fr index 1d4e78a9..717b1a54 100644 --- a/frege/tools/YYgen.fr +++ b/frege/tools/YYgen.fr @@ -1,6 +1,6 @@ {- «•»«•»«•»«•»«•»«•»«•»«•»«•»«•»«•»«•»«•»«•»«•»«•»«•»«•»«•»«•»«•»«•»«•»«•» - Copyright © 2011 - 2015, Ingo Wechsung + Copyright © 2011 - 2020, Ingo Wechsung All rights reserved. Redistribution and use in source and binary forms, with or diff --git a/frege/tools/doc/Utilities.fr b/frege/tools/doc/Utilities.fr index d5b275d9..37803b5a 100644 --- a/frege/tools/doc/Utilities.fr +++ b/frege/tools/doc/Utilities.fr @@ -1,6 +1,6 @@ {- - Copyright © 2011 - 2015, Ingo Wechsung + Copyright © 2011 - 2020, Ingo Wechsung All rights reserved. Redistribution and use in source and binary forms, with or diff --git a/scripts/genF.pl b/scripts/genF.pl index 5190d0a4..f33760c4 100644 --- a/scripts/genF.pl +++ b/scripts/genF.pl @@ -40,7 +40,7 @@ sub mkFun { print J <<'LIZENZ'; /* «•»«•»«•»«•»«•»«•»«•»«•»«•»«•»«•»«•»«•»«•»«•»«•»«•»«•»«•»«•»«•»«•»«•»«•» - Copyright © 2011, Ingo Wechsung + Copyright © 2011 - 2020, Ingo Wechsung All rights reserved. Redistribution and use in source and binary forms, with or @@ -180,4 +180,4 @@ sub mkFun { # print "joined=", (join (",", @targs)), "\n"; close J; $n++; -} \ No newline at end of file +} diff --git a/scripts/genFun.pl b/scripts/genFun.pl index a173b9dc..09518c11 100644 --- a/scripts/genFun.pl +++ b/scripts/genFun.pl @@ -40,7 +40,7 @@ sub mkFun { print J <<'LIZENZ'; /* «•»«•»«•»«•»«•»«•»«•»«•»«•»«•»«•»«•»«•»«•»«•»«•»«•»«•»«•»«•»«•»«•»«•»«•» - Copyright © 2011, Ingo Wechsung + Copyright © 2011 - 2020, Ingo Wechsung All rights reserved. Redistribution and use in source and binary forms, with or diff --git a/scripts/genFunc.pl b/scripts/genFunc.pl index bac40f83..bb260367 100644 --- a/scripts/genFunc.pl +++ b/scripts/genFunc.pl @@ -16,7 +16,7 @@ print J <<'LIZENZ'; /* - Copyright © 2015, Ingo Wechsung + Copyright © 2015 - 2020, Ingo Wechsung All rights reserved. Redistribution and use in source and binary forms, with or diff --git a/scripts/genLam.pl b/scripts/genLam.pl index 7eeff777..5889b5c3 100644 --- a/scripts/genLam.pl +++ b/scripts/genLam.pl @@ -40,7 +40,7 @@ sub mkFun { print J <<'LIZENZ'; /* «•»«•»«•»«•»«•»«•»«•»«•»«•»«•»«•»«•»«•»«•»«•»«•»«•»«•»«•»«•»«•»«•»«•»«•» - Copyright © 2011, Ingo Wechsung + Copyright © 2011 - 2020, Ingo Wechsung All rights reserved. Redistribution and use in source and binary forms, with or @@ -153,4 +153,4 @@ sub mkFun { # print "joined=", (join (",", @targs)), "\n"; close J; $n++; -} \ No newline at end of file +} diff --git a/scripts/genP.pl b/scripts/genP.pl index 10a5a8eb..a26b1abd 100644 --- a/scripts/genP.pl +++ b/scripts/genP.pl @@ -25,7 +25,7 @@ print J <<'LIZENZ'; /* «•»«•»«•»«•»«•»«•»«•»«•»«•»«•»«•»«•»«•»«•»«•»«•»«•»«•»«•»«•»«•»«•»«•»«•» - Copyright © 2011, Ingo Wechsung + Copyright © 2011 - 2020, Ingo Wechsung All rights reserved. Redistribution and use in source and binary forms, with or @@ -121,4 +121,4 @@ TEXT close J; $n++; -} \ No newline at end of file +} diff --git a/scripts/genProd.pl b/scripts/genProd.pl index b6125b28..3400c5f5 100644 --- a/scripts/genProd.pl +++ b/scripts/genProd.pl @@ -25,7 +25,7 @@ print J <<'LIZENZ'; /* «•»«•»«•»«•»«•»«•»«•»«•»«•»«•»«•»«•»«•»«•»«•»«•»«•»«•»«•»«•»«•»«•»«•»«•» - Copyright © 2011, Ingo Wechsung + Copyright © 2011 - 2020, Ingo Wechsung All rights reserved. Redistribution and use in source and binary forms, with or @@ -109,4 +109,4 @@ TEXT close J; $n++; -} \ No newline at end of file +} diff --git a/tests/qc/PreludeProperties.fr b/tests/qc/PreludeProperties.fr index a6cd65fb..37002bbd 100644 --- a/tests/qc/PreludeProperties.fr +++ b/tests/qc/PreludeProperties.fr @@ -1,6 +1,6 @@ {- «•»«•»«•»«•»«•»«•»«•»«•»«•»«•»«•»«•»«•»«•»«•»«•»«•»«•»«•»«•»«•»«•»«•»«•» - Copyright © 2011 - 2015, Ingo Wechsung + Copyright © 2011 - 2020, Ingo Wechsung All rights reserved. Redistribution and use in source and binary forms, with or