From 06ecdf6139dd8aa5b5f63916a2fec7c285e962b6 Mon Sep 17 00:00:00 2001 From: Dave Parker Date: Fri, 27 Jan 2012 23:17:13 +0000 Subject: [PATCH] Copyright header updates git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@4504 bbc10eb1-c90d-0410-af57-cb519fbb1720 --- prism/src/explicit/rewards/ConstructRewards.java | 1 + prism/src/prism/PrismLog.java | 1 + prism/src/userinterface/properties/GUIExperiment.java | 1 + prism/src/userinterface/properties/GUIMultiProperties.java | 1 + prism/src/userinterface/properties/GUIPropertiesList.java | 1 + prism/src/userinterface/properties/GUIProperty.java | 1 + prism/src/userinterface/properties/GUIPropertyEditor.java | 1 + 7 files changed, 7 insertions(+) diff --git a/prism/src/explicit/rewards/ConstructRewards.java b/prism/src/explicit/rewards/ConstructRewards.java index 762dbe4f..51ff5f8c 100644 --- a/prism/src/explicit/rewards/ConstructRewards.java +++ b/prism/src/explicit/rewards/ConstructRewards.java @@ -3,6 +3,7 @@ // Copyright (c) 2002- // Authors: // * Dave Parker (University of Oxford) +// * Vojtech Forejt (University of Oxford) // //------------------------------------------------------------------------------ // diff --git a/prism/src/prism/PrismLog.java b/prism/src/prism/PrismLog.java index aa889441..8668e5be 100644 --- a/prism/src/prism/PrismLog.java +++ b/prism/src/prism/PrismLog.java @@ -3,6 +3,7 @@ // Copyright (c) 2002- // Authors: // * Dave Parker (University of Oxford, formerly University of Birmingham) +// * Vojtech Forejt (University of Oxford) // //------------------------------------------------------------------------------ // diff --git a/prism/src/userinterface/properties/GUIExperiment.java b/prism/src/userinterface/properties/GUIExperiment.java index 381beef4..e2d1ac8e 100644 --- a/prism/src/userinterface/properties/GUIExperiment.java +++ b/prism/src/userinterface/properties/GUIExperiment.java @@ -4,6 +4,7 @@ // Authors: // * Andrew Hinton (University of Birmingham) // * Dave Parker (University of Oxford, formerly University of Birmingham) +// * Vojtech Forejt (University of Oxford) // //------------------------------------------------------------------------------ // diff --git a/prism/src/userinterface/properties/GUIMultiProperties.java b/prism/src/userinterface/properties/GUIMultiProperties.java index 229c7712..80d2a5c4 100644 --- a/prism/src/userinterface/properties/GUIMultiProperties.java +++ b/prism/src/userinterface/properties/GUIMultiProperties.java @@ -6,6 +6,7 @@ // * Dave Parker (University of Oxford, formerly University of Birmingham) // * Mark Kattenbelt (University of Oxford, formerly University of Birmingham) // * Vincent Nimal (University of Oxford) +// * Vojtech Forejt (University of Oxford) // //------------------------------------------------------------------------------ // diff --git a/prism/src/userinterface/properties/GUIPropertiesList.java b/prism/src/userinterface/properties/GUIPropertiesList.java index 7fa0e39c..0e0bf2da 100644 --- a/prism/src/userinterface/properties/GUIPropertiesList.java +++ b/prism/src/userinterface/properties/GUIPropertiesList.java @@ -4,6 +4,7 @@ // Authors: // * Andrew Hinton (University of Birmingham) // * Dave Parker (University of Oxford, formerly University of Birmingham) +// * Vojtech Forejt (University of Oxford) // //------------------------------------------------------------------------------ // diff --git a/prism/src/userinterface/properties/GUIProperty.java b/prism/src/userinterface/properties/GUIProperty.java index 3939c855..3baf8278 100644 --- a/prism/src/userinterface/properties/GUIProperty.java +++ b/prism/src/userinterface/properties/GUIProperty.java @@ -5,6 +5,7 @@ // * Andrew Hinton (University of Birmingham) // * Dave Parker (University of Oxford, formerly University of Birmingham) // * Mark Kattenbelt (University of Oxford, formerly University of Birmingham) +// * Vojtech Forejt (University of Oxford) // //------------------------------------------------------------------------------ // diff --git a/prism/src/userinterface/properties/GUIPropertyEditor.java b/prism/src/userinterface/properties/GUIPropertyEditor.java index f2afd59d..42c7e467 100644 --- a/prism/src/userinterface/properties/GUIPropertyEditor.java +++ b/prism/src/userinterface/properties/GUIPropertyEditor.java @@ -4,6 +4,7 @@ // Authors: // * Andrew Hinton (University of Birmingham) // * Dave Parker (University of Oxford, formerly University of Birmingham) +// * Vojtech Forejt (University of Oxford) // //------------------------------------------------------------------------------ //