From 4ee7f71de7c63e2b6cf6af65eee755ed81dc4125 Mon Sep 17 00:00:00 2001 From: Michael Leuschel <leuschel@uni-duesseldorf.de> Date: Tue, 3 Dec 2024 10:49:29 +0100 Subject: [PATCH] update copyright year Signed-off-by: Michael Leuschel <leuschel@uni-duesseldorf.de> --- .../src/de/prob/eventb/translator/ContextTranslator.java | 2 +- .../de/prob/eventb/translator/internal/EventBTranslator.java | 2 +- .../de/prob/eventb/translator/internal/TranslationVisitor.java | 2 +- 3 files changed, 3 insertions(+), 3 deletions(-) diff --git a/de.prob.core/src/de/prob/eventb/translator/ContextTranslator.java b/de.prob.core/src/de/prob/eventb/translator/ContextTranslator.java index edc3c1ae..1d765e85 100644 --- a/de.prob.core/src/de/prob/eventb/translator/ContextTranslator.java +++ b/de.prob.core/src/de/prob/eventb/translator/ContextTranslator.java @@ -1,5 +1,5 @@ /** - * (c) 2009 Lehrstuhl fuer Softwaretechnik und Programmiersprachen, + * (c) 2009-2024 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) * */ diff --git a/de.prob.core/src/de/prob/eventb/translator/internal/EventBTranslator.java b/de.prob.core/src/de/prob/eventb/translator/internal/EventBTranslator.java index 64c57fcf..22e0586d 100644 --- a/de.prob.core/src/de/prob/eventb/translator/internal/EventBTranslator.java +++ b/de.prob.core/src/de/prob/eventb/translator/internal/EventBTranslator.java @@ -1,5 +1,5 @@ /** - * (c) 2009 Lehrstuhl fuer Softwaretechnik und Programmiersprachen, + * (c) 2009-2024 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) * */ diff --git a/de.prob.core/src/de/prob/eventb/translator/internal/TranslationVisitor.java b/de.prob.core/src/de/prob/eventb/translator/internal/TranslationVisitor.java index 36eb4f7f..d05c2be0 100644 --- a/de.prob.core/src/de/prob/eventb/translator/internal/TranslationVisitor.java +++ b/de.prob.core/src/de/prob/eventb/translator/internal/TranslationVisitor.java @@ -1,5 +1,5 @@ /** - * (c) 2009 Lehrstuhl fuer Softwaretechnik und Programmiersprachen, + * (c) 2009-2024 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) * */ -- GitLab