From 94fdf75627f6dc9069be2349d78fe78ef96c34a2 Mon Sep 17 00:00:00 2001 From: "Achim D. Brucker" Date: Sun, 28 Jul 2019 12:01:58 +0100 Subject: [PATCH] Applied renaming: Paris-Sud to Paris-Saclay. --- LICENSE | 2 +- examples/CENELEC_50128/mini_odo/document/build | 2 +- examples/math_exam/MathExam/document/build | 2 +- examples/math_exam/MathExam/document/preamble.tex | 2 +- .../2018-cicm-isabelle_dof-applications/IsaDofApplications.thy | 2 +- .../2018-cicm-isabelle_dof-applications/document/build | 2 +- .../2018-cicm-isabelle_dof-applications/document/preamble.tex | 2 +- .../technical_report/Isabelle_DOF-Manual/01_Introduction.thy | 2 +- examples/technical_report/Isabelle_DOF-Manual/document/build | 2 +- .../technical_report/Isabelle_DOF-Manual/document/preamble.tex | 2 +- .../technical_report/TR_my_commented_isabelle/document/build | 2 +- .../TR_my_commented_isabelle/document/preamble.tex | 2 +- install | 2 +- src/DOF/latex/DOF-COL.sty | 2 +- src/DOF/latex/DOF-core.sty | 2 +- src/Tools/DOF_mkroot | 2 +- src/document-templates/root-eptcs-UNSUPPORTED.tex | 2 +- src/document-templates/root-lipics-v2019-UNSUPPORTED.tex | 2 +- src/document-templates/root-lncs.tex | 2 +- src/document-templates/root-scrartcl.tex | 2 +- src/document-templates/root-scrreprt-modern.tex | 2 +- src/document-templates/root-scrreprt.tex | 2 +- src/ontologies/CENELEC_50128/DOF-CENELEC_50128.sty | 2 +- src/ontologies/math_exam/DOF-math_exam.sty | 2 +- src/ontologies/scholarly_paper/DOF-scholarly_paper.sty | 2 +- src/ontologies/technical_report/DOF-technical_report.sty | 2 +- src/scripts/build | 2 +- src/scripts/build_lib.sh | 2 +- 28 files changed, 28 insertions(+), 28 deletions(-) diff --git a/LICENSE b/LICENSE index 87e2e02..48eac63 100644 --- a/LICENSE +++ b/LICENSE @@ -1,6 +1,6 @@ Copyright (C) 2018-2019 The University of Sheffield 2019-2019 The University of Exeter - 2018-2019 The University of Paris-Sud + 2018-2019 The University of Paris-Saclay All rights reserved. Redistribution and use in source and binary forms, with or without diff --git a/examples/CENELEC_50128/mini_odo/document/build b/examples/CENELEC_50128/mini_odo/document/build index c4a05ab..65c2887 100755 --- a/examples/CENELEC_50128/mini_odo/document/build +++ b/examples/CENELEC_50128/mini_odo/document/build @@ -1,6 +1,6 @@ #!/usr/bin/env bash # Copyright (c) 2018-2019 The University of Sheffield. All rights reserved. -# 2018 The University of Paris-Sud. All rights reserved. +# 2018 The University of Paris-Saclay. All rights reserved. # # Redistribution and use in source and binary forms, with or without # modification, are permitted provided that the following conditions diff --git a/examples/math_exam/MathExam/document/build b/examples/math_exam/MathExam/document/build index c4a05ab..65c2887 100755 --- a/examples/math_exam/MathExam/document/build +++ b/examples/math_exam/MathExam/document/build @@ -1,6 +1,6 @@ #!/usr/bin/env bash # Copyright (c) 2018-2019 The University of Sheffield. All rights reserved. -# 2018 The University of Paris-Sud. All rights reserved. +# 2018 The University of Paris-Saclay. All rights reserved. # # Redistribution and use in source and binary forms, with or without # modification, are permitted provided that the following conditions diff --git a/examples/math_exam/MathExam/document/preamble.tex b/examples/math_exam/MathExam/document/preamble.tex index d3fd670..ee2a68c 100644 --- a/examples/math_exam/MathExam/document/preamble.tex +++ b/examples/math_exam/MathExam/document/preamble.tex @@ -1,5 +1,5 @@ %% Copyright (C) 2018 The University of Sheffield -%% 2018 The University of Paris-Sud +%% 2018 The University of Paris-Saclay %% %% License: %% This program can be redistributed and/or modified under the terms diff --git a/examples/scholarly_paper/2018-cicm-isabelle_dof-applications/IsaDofApplications.thy b/examples/scholarly_paper/2018-cicm-isabelle_dof-applications/IsaDofApplications.thy index e64e4c4..771e8e8 100644 --- a/examples/scholarly_paper/2018-cicm-isabelle_dof-applications/IsaDofApplications.thy +++ b/examples/scholarly_paper/2018-cicm-isabelle_dof-applications/IsaDofApplications.thy @@ -21,7 +21,7 @@ text*[paolo::author, affiliation= "''IRT-SystemX, Paris, France''"]\Paolo Crisafulli\ text*[bu::author, email = "\wolff@lri.fr\", - affiliation = "\Université Paris-Sud, Paris, France\"]\Burkhart Wolff\ + affiliation = "\Université Paris-Saclay, Paris, France\"]\Burkhart Wolff\ text*[abs::abstract, diff --git a/examples/scholarly_paper/2018-cicm-isabelle_dof-applications/document/build b/examples/scholarly_paper/2018-cicm-isabelle_dof-applications/document/build index c4a05ab..65c2887 100755 --- a/examples/scholarly_paper/2018-cicm-isabelle_dof-applications/document/build +++ b/examples/scholarly_paper/2018-cicm-isabelle_dof-applications/document/build @@ -1,6 +1,6 @@ #!/usr/bin/env bash # Copyright (c) 2018-2019 The University of Sheffield. All rights reserved. -# 2018 The University of Paris-Sud. All rights reserved. +# 2018 The University of Paris-Saclay. All rights reserved. # # Redistribution and use in source and binary forms, with or without # modification, are permitted provided that the following conditions diff --git a/examples/scholarly_paper/2018-cicm-isabelle_dof-applications/document/preamble.tex b/examples/scholarly_paper/2018-cicm-isabelle_dof-applications/document/preamble.tex index 8a16940..d894881 100644 --- a/examples/scholarly_paper/2018-cicm-isabelle_dof-applications/document/preamble.tex +++ b/examples/scholarly_paper/2018-cicm-isabelle_dof-applications/document/preamble.tex @@ -1,5 +1,5 @@ %% Copyright (C) 2018 The University of Sheffield -%% 2018 The University of Paris-Sud +%% 2018 The University of Paris-Saclay %% %% License: %% This program can be redistributed and/or modified under the terms diff --git a/examples/technical_report/Isabelle_DOF-Manual/01_Introduction.thy b/examples/technical_report/Isabelle_DOF-Manual/01_Introduction.thy index 760e6ac..a6e3e6c 100644 --- a/examples/technical_report/Isabelle_DOF-Manual/01_Introduction.thy +++ b/examples/technical_report/Isabelle_DOF-Manual/01_Introduction.thy @@ -79,7 +79,7 @@ generation and ways to adapt it to particular purposes. conclusions and discuss related work in @{docitem_ref (unchecked) \conclusion\}. \ -section\Notation and Layout Conventions\ +section\Typographical Conventions\ text\ We acknowledge that understanding \isadof and its implementation in all details requires to separate multiple technological layers or languages. To help the reader with this, we diff --git a/examples/technical_report/Isabelle_DOF-Manual/document/build b/examples/technical_report/Isabelle_DOF-Manual/document/build index c4a05ab..65c2887 100755 --- a/examples/technical_report/Isabelle_DOF-Manual/document/build +++ b/examples/technical_report/Isabelle_DOF-Manual/document/build @@ -1,6 +1,6 @@ #!/usr/bin/env bash # Copyright (c) 2018-2019 The University of Sheffield. All rights reserved. -# 2018 The University of Paris-Sud. All rights reserved. +# 2018 The University of Paris-Saclay. All rights reserved. # # Redistribution and use in source and binary forms, with or without # modification, are permitted provided that the following conditions diff --git a/examples/technical_report/Isabelle_DOF-Manual/document/preamble.tex b/examples/technical_report/Isabelle_DOF-Manual/document/preamble.tex index d3f81dc..ca63cee 100644 --- a/examples/technical_report/Isabelle_DOF-Manual/document/preamble.tex +++ b/examples/technical_report/Isabelle_DOF-Manual/document/preamble.tex @@ -1,5 +1,5 @@ %% Copyright (C) 2018 The University of Sheffield -%% 2018 The University of Paris-Sud +%% 2018 The University of Paris-Saclay %% %% License: %% This program can be redistributed and/or modified under the terms diff --git a/examples/technical_report/TR_my_commented_isabelle/document/build b/examples/technical_report/TR_my_commented_isabelle/document/build index c4a05ab..65c2887 100755 --- a/examples/technical_report/TR_my_commented_isabelle/document/build +++ b/examples/technical_report/TR_my_commented_isabelle/document/build @@ -1,6 +1,6 @@ #!/usr/bin/env bash # Copyright (c) 2018-2019 The University of Sheffield. All rights reserved. -# 2018 The University of Paris-Sud. All rights reserved. +# 2018 The University of Paris-Saclay. All rights reserved. # # Redistribution and use in source and binary forms, with or without # modification, are permitted provided that the following conditions diff --git a/examples/technical_report/TR_my_commented_isabelle/document/preamble.tex b/examples/technical_report/TR_my_commented_isabelle/document/preamble.tex index ce1d154..275dae5 100644 --- a/examples/technical_report/TR_my_commented_isabelle/document/preamble.tex +++ b/examples/technical_report/TR_my_commented_isabelle/document/preamble.tex @@ -1,5 +1,5 @@ %% Copyright (C) 2018 The University of Sheffield -%% 2018 The University of Paris-Sud +%% 2018 The University of Paris-Saclay %% %% License: %% This program can be redistributed and/or modified under the terms diff --git a/install b/install index 321b999..7f34db8 100755 --- a/install +++ b/install @@ -1,7 +1,7 @@ #!/usr/bin/env bash # Copyright (c) 2018-2019 The University of Sheffield. # 2019-2019 The University of Exeter. -# 2018-2019 The University of Paris-Sud. +# 2018-2019 The University of Paris-Saclay. # # Redistribution and use in source and binary forms, with or without # modification, are permitted provided that the following conditions diff --git a/src/DOF/latex/DOF-COL.sty b/src/DOF/latex/DOF-COL.sty index 2a02a04..ffa6f83 100644 --- a/src/DOF/latex/DOF-COL.sty +++ b/src/DOF/latex/DOF-COL.sty @@ -1,5 +1,5 @@ %% Copyright (C) 2018 The University of Sheffield -%% 2018 The University of Paris-Sud +%% 2018 The University of Paris-Saclay %% 2019 The University of Exeter %% %% License: diff --git a/src/DOF/latex/DOF-core.sty b/src/DOF/latex/DOF-core.sty index f3449e2..67e2acd 100644 --- a/src/DOF/latex/DOF-core.sty +++ b/src/DOF/latex/DOF-core.sty @@ -1,5 +1,5 @@ %% Copyright (C) 2018 The University of Sheffield -%% 2018 The University of Paris-Sud +%% 2018 The University of Paris-Saclay %% 2019 The University of Exeter %% %% License: diff --git a/src/Tools/DOF_mkroot b/src/Tools/DOF_mkroot index d92f220..febc851 100755 --- a/src/Tools/DOF_mkroot +++ b/src/Tools/DOF_mkroot @@ -1,6 +1,6 @@ #/usr/bin/env bash # Copyright (c) 2019 University of Exeter -# 2018-2019 University of Paris-Sud +# 2018-2019 University of Paris-Saclay # 2018-2019 The University of Sheffield # # Redistribution and use in source and binary forms, with or without diff --git a/src/document-templates/root-eptcs-UNSUPPORTED.tex b/src/document-templates/root-eptcs-UNSUPPORTED.tex index bd8ef96..c7f33f2 100644 --- a/src/document-templates/root-eptcs-UNSUPPORTED.tex +++ b/src/document-templates/root-eptcs-UNSUPPORTED.tex @@ -1,5 +1,5 @@ %% Copyright (c) 2019 University of Exeter -%% 2018-2019 University of Paris-Sud +%% 2018-2019 University of Paris-Saclay %% 2018-2019 The University of Sheffield %% %% License: diff --git a/src/document-templates/root-lipics-v2019-UNSUPPORTED.tex b/src/document-templates/root-lipics-v2019-UNSUPPORTED.tex index a0bfc86..3c6e94d 100644 --- a/src/document-templates/root-lipics-v2019-UNSUPPORTED.tex +++ b/src/document-templates/root-lipics-v2019-UNSUPPORTED.tex @@ -1,5 +1,5 @@ %% Copyright (c) 2019 University of Exeter -%% 2018-2019 University of Paris-Sud +%% 2018-2019 University of Paris-Saclay %% 2018-2019 The University of Sheffield %% %% License: diff --git a/src/document-templates/root-lncs.tex b/src/document-templates/root-lncs.tex index f2aec9e..3fb144a 100644 --- a/src/document-templates/root-lncs.tex +++ b/src/document-templates/root-lncs.tex @@ -1,5 +1,5 @@ %% Copyright (c) 2019 University of Exeter -%% 2018-2019 University of Paris-Sud +%% 2018-2019 University of Paris-Saclay %% 2018-2019 The University of Sheffield %% %% License: diff --git a/src/document-templates/root-scrartcl.tex b/src/document-templates/root-scrartcl.tex index 4587d5a..df45e5a 100644 --- a/src/document-templates/root-scrartcl.tex +++ b/src/document-templates/root-scrartcl.tex @@ -1,5 +1,5 @@ %% Copyright (c) 2019 University of Exeter -%% 2018-2019 University of Paris-Sud +%% 2018-2019 University of Paris-Saclay %% 2018-2019 The University of Sheffield %% %% License: diff --git a/src/document-templates/root-scrreprt-modern.tex b/src/document-templates/root-scrreprt-modern.tex index fe8c29c..d8cf035 100644 --- a/src/document-templates/root-scrreprt-modern.tex +++ b/src/document-templates/root-scrreprt-modern.tex @@ -1,5 +1,5 @@ %% Copyright (c) 2019 University of Exeter -%% 2018-2019 University of Paris-Sud +%% 2018-2019 University of Paris-Saclay %% 2018-2019 The University of Sheffield %% %% License: diff --git a/src/document-templates/root-scrreprt.tex b/src/document-templates/root-scrreprt.tex index 58ea1d4..85ec5f0 100644 --- a/src/document-templates/root-scrreprt.tex +++ b/src/document-templates/root-scrreprt.tex @@ -1,5 +1,5 @@ %% Copyright (c) 2019 University of Exeter -%% 2018-2019 University of Paris-Sud +%% 2018-2019 University of Paris-Saclay %% 2018-2019 The University of Sheffield %% %% License: diff --git a/src/ontologies/CENELEC_50128/DOF-CENELEC_50128.sty b/src/ontologies/CENELEC_50128/DOF-CENELEC_50128.sty index 90b6c11..3c584bc 100644 --- a/src/ontologies/CENELEC_50128/DOF-CENELEC_50128.sty +++ b/src/ontologies/CENELEC_50128/DOF-CENELEC_50128.sty @@ -1,5 +1,5 @@ %% Copyright (C) 2019 University of Exeter -%% 2018 University of Paris-Sud +%% 2018 University of Paris-Saclay %% 2018 The University of Sheffield %% %% License: diff --git a/src/ontologies/math_exam/DOF-math_exam.sty b/src/ontologies/math_exam/DOF-math_exam.sty index 1212629..8aae675 100644 --- a/src/ontologies/math_exam/DOF-math_exam.sty +++ b/src/ontologies/math_exam/DOF-math_exam.sty @@ -1,5 +1,5 @@ %% Copyright (C) 2018 The University of Sheffield -%% 2018 The University of Paris-Sud +%% 2018 The University of Paris-Saclay %% %% License: %% This program can be redistributed and/or modified under the terms diff --git a/src/ontologies/scholarly_paper/DOF-scholarly_paper.sty b/src/ontologies/scholarly_paper/DOF-scholarly_paper.sty index f8f57c1..bc71d2a 100644 --- a/src/ontologies/scholarly_paper/DOF-scholarly_paper.sty +++ b/src/ontologies/scholarly_paper/DOF-scholarly_paper.sty @@ -1,5 +1,5 @@ %% Copyright (C) 2018 The University of Sheffield -%% 2018 The University of Paris-Sud +%% 2018 The University of Paris-Saclay %% 2019 The University of Exeter %% %% License: diff --git a/src/ontologies/technical_report/DOF-technical_report.sty b/src/ontologies/technical_report/DOF-technical_report.sty index 0c4edf3..5e3facc 100644 --- a/src/ontologies/technical_report/DOF-technical_report.sty +++ b/src/ontologies/technical_report/DOF-technical_report.sty @@ -1,5 +1,5 @@ %% Copyright (C) 2018 The University of Sheffield -%% 2018 The University of Paris-Sud +%% 2018 The University of Paris-Saclay %% %% License: %% This program can be redistributed and/or modified under the terms diff --git a/src/scripts/build b/src/scripts/build index 7c5ed28..7a28c7b 100755 --- a/src/scripts/build +++ b/src/scripts/build @@ -1,6 +1,6 @@ #!/usr/bin/env bash # Copyright (c) 2019 University of Exeter -# 2018-2019 University of Paris-Sud +# 2018-2019 University of Paris-Saclay # 2018-2019 The University of Sheffield # # Redistribution and use in source and binary forms, with or without diff --git a/src/scripts/build_lib.sh b/src/scripts/build_lib.sh index 828935b..f364a64 100755 --- a/src/scripts/build_lib.sh +++ b/src/scripts/build_lib.sh @@ -1,6 +1,6 @@ #!/usr/bin/env bash # Copyright (c) 2019 University of Exeter -# 2018-2019 University of Paris-Sud +# 2018-2019 University of Paris-Saclay # 2018-2019 The University of Sheffield # # Redistribution and use in source and binary forms, with or without