Commit fae0a24c authored by Mike Gabriel's avatar Mike Gabriel
Browse files

file headers: Replace non-license name OtherLicense by the license name of...

file headers: Replace non-license name OtherLicense by the license name of what is found in the LICENSE file.
parent 0a3e19a0
......@@ -10,7 +10,7 @@ Description: The Curry Frontend consists of the executable program "cymake".
the Muenster Curry Compiler
(<http://danae.uni-muenster.de/~lux/curry/>)
Category: Language
License: OtherLicense
License: BSD-3-clause
License-File: LICENSE
Author: Wolfgang Lux, Martin Engelke, Bernd Brassel, Holger Siegel,
Bjoern Peemoeller
......
......@@ -4,7 +4,7 @@
Copyright : (c) Wolfgang Lux
2011 - 2012 Björn Peemöller
2015 Jan Tikovsky
License : OtherLicense
License : BSD-3-clause
Maintainer : bjp@informatik.uni-kiel.de
Stability : experimental
......
......@@ -4,7 +4,7 @@
Copyright : (c) Wolfgang Lux
2011 - 2015 Björn Peemöller
2015 Jan Tikovsky
License : OtherLicense
License : BSD-3-clause
Maintainer : bjp@informatik.uni-kiel.de
Stability : experimental
......
......@@ -2,7 +2,7 @@
Module : $Header$
Description : Construction and output of compiler messages
Copyright : (c) 2011 - 2016 Björn Peemöller
License : OtherLicense
License : BSD-3-clause
Maintainer : bjp@informatik.uni-kiel.de
Stability : experimental
......
......@@ -3,7 +3,7 @@
Description : Nested Environments
Copyright : (c) 1999 - 2003 Wolfgang Lux
2011 - 2015 Björn Peemöller
License : OtherLicense
License : BSD-3-clause
Maintainer : bjp@informatik.uni-kiel.de
Stability : experimental
......
......@@ -2,7 +2,7 @@
Module : $Header$
Description : Computation of strongly connected components
Copyright : (c) 2000, 2002 - 2003 Wolfgang Lux
License : OtherLicense
License : BSD-3-clause
Maintainer : bjp@informatik.uni-kiel.de
Stability : experimental
......
......@@ -2,7 +2,7 @@
Module : $Header$
Description : General substitution implementation
Copyright : (c) 2002 Wolfgang Lux
License : OtherLicense
License : BSD-3-clause
Maintainer : bjp@informatik.uni-kiel.de
Stability : experimental
......
......@@ -4,7 +4,7 @@
Copyright : 1999 - 2003 Wolfgang Lux
2005 Martin Engelke
2011 - 2012 Björn Peemöller
License : OtherLicense
License : BSD-3-clause
Maintainer : bjp@informatik.uni-kiel.de
Stability : experimental
......
......@@ -2,7 +2,7 @@
Module : $Header$
Description : Type substitution
Copyright : (c) 2003 Wolfgang Lux
License : OtherLicense
License : BSD-3-clause
Maintainer : bjp@informatik.uni-kiel.de
Stability : experimental
......
......@@ -4,7 +4,7 @@
Copyright : (c) 2002 - 2004 Wolfgang Lux
Martin Engelke
2015 Jan Tikovsky
License : OtherLicense
License : BSD-3-clause
Maintainer : bjp@informatik.uni-kiel.de
Stability : experimental
......
......@@ -3,7 +3,7 @@
Description : Type computation of Curry expressions
Copyright : (c) 2003 - 2006 Wolfgang Lux
2014 - 2015 Jan Tikovsky
License : OtherLicense
License : BSD-3-clause
Maintainer : bjp@informatik.uni-kiel.de
Stability : experimental
......
......@@ -3,7 +3,7 @@
Description : Auxiliary functions
Copyright : (c) 2001 - 2003 Wolfgang Lux
2011 - 2015 Björn Peemöler
License : OtherLicense
License : BSD-3-clause
Maintainer : bjp@informatik.uni-kiel.de
Stability : experimental
......
......@@ -2,7 +2,7 @@
Module : $Header$
Description : Different checks on a Curry module
Copyright : (c) 2011 - 2013, Björn Peemöller
License : OtherLicense
License : BSD-3-clause
Maintainer : bjp@informatik.uni-kiel.de
Stability : experimental
......
......@@ -4,7 +4,7 @@
Copyright : (c) 1999 - 2004 Wolfgang Lux
2011 - 2016 Björn Peemöller
2015 - 2016 Yannik Potdevin
License : OtherLicense
License : BSD-3-clause
Maintainer : bjp@informatik.uni-kiel.de
Stability : experimental
......
......@@ -2,7 +2,7 @@
Module : $Header$
Description : Checking import specifications
Copyright : (c) 2016 Jan Tikovsky
License : OtherLicense
License : BSD-3-clause
Maintainer : jrt@informatik.uni-kiel.de
Stability : experimental
......
......@@ -3,7 +3,7 @@
Description : Checks consistency of interface files
Copyright : (c) 2000 - 2007 Wolfgang Lux
2015 Jan Tikovsky
License : OtherLicense
License : BSD-3-clause
Maintainer : bjp@informatik.uni-kiel.de
Stability : experimental
......
......@@ -4,7 +4,7 @@
Copyright : (c) 2000 - 2007 Wolfgang Lux
2011 - 2015 Björn Peemöller
2015 Jan Tikovsky
License : OtherLicense
License : BSD-3-clause
Maintainer : bjp@informatik.uni-kiel.de
Stability : experimental
......
......@@ -5,7 +5,7 @@
Martin Engelke
Björn Peemöller
2014 - 2015 Jan Tikovsky
License : OtherLicense
License : BSD-3-clause
Maintainer : bjp@informatik.uni-kiel.de
Stability : experimental
......
......@@ -5,7 +5,7 @@
Martin Engelke
Björn Peemöller
2015 Jan Tikovsky
License : OtherLicense
License : BSD-3-clause
Maintainer : bjp@informatik.uni-kiel.de
Stability : experimental
......
......@@ -5,7 +5,7 @@
Martin Engelke
Björn Peemöller
2015 Jan Tikovsky
License : OtherLicense
License : BSD-3-clause
Maintainer : bjp@informatik.uni-kiel.de
Stability : experimental
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment