From cee83df99def92be43e91880c89194d9deaf7664 Mon Sep 17 00:00:00 2001 From: Sebastian Krings <sebastian@krin.gs> Date: Fri, 4 Jan 2013 12:01:52 +0100 Subject: [PATCH] add copyright comments --- .../src/de/prob/core/translator/pragmas/IPragma.java | 6 ++++++ .../src/de/prob/core/translator/pragmas/UnitPragma.java | 6 ++++++ 2 files changed, 12 insertions(+) diff --git a/de.prob.core/src/de/prob/core/translator/pragmas/IPragma.java b/de.prob.core/src/de/prob/core/translator/pragmas/IPragma.java index 8f166ba9..aa8994a9 100644 --- a/de.prob.core/src/de/prob/core/translator/pragmas/IPragma.java +++ b/de.prob.core/src/de/prob/core/translator/pragmas/IPragma.java @@ -1,3 +1,9 @@ +/** + * (c) 2009 Lehrstuhl fuer Softwaretechnik und Programmiersprachen, Heinrich + * Heine Universitaet Duesseldorf This software is licenced under EPL 1.0 + * (http://www.eclipse.org/org/documents/epl-v10.html) + * */ + package de.prob.core.translator.pragmas; import de.prob.prolog.output.IPrologTermOutput; diff --git a/de.prob.core/src/de/prob/core/translator/pragmas/UnitPragma.java b/de.prob.core/src/de/prob/core/translator/pragmas/UnitPragma.java index 9c5e1332..a1b5fd09 100644 --- a/de.prob.core/src/de/prob/core/translator/pragmas/UnitPragma.java +++ b/de.prob.core/src/de/prob/core/translator/pragmas/UnitPragma.java @@ -1,3 +1,9 @@ +/** + * (c) 2009 Lehrstuhl fuer Softwaretechnik und Programmiersprachen, Heinrich + * Heine Universitaet Duesseldorf This software is licenced under EPL 1.0 + * (http://www.eclipse.org/org/documents/epl-v10.html) + * */ + package de.prob.core.translator.pragmas; import de.prob.prolog.output.IPrologTermOutput; -- GitLab