diff --git a/doc/LICENSE b/doc/LICENSE index e3871e57881d0b75c446cf276e40bc4787c3885b..7853a282859385c723e7b628bda7ee1a15969b4c 100644 --- a/doc/LICENSE +++ b/doc/LICENSE @@ -1,4 +1,4 @@ -Copyright (C) 2007-2020 +Copyright (C) 2007-2021 CEA (Commissariat à l'énergie atomique et aux énergies alternatives) Except where otherwise noted, content on this directory is licensed under a diff --git a/doc/code/toc_tail.htm b/doc/code/toc_tail.htm index 4576a325f5eeceee33159ee6bd8eae6ebb4fcc13..a5d8086fb83ed1829c2c364c3f84c8bf544f8b10 100644 --- a/doc/code/toc_tail.htm +++ b/doc/code/toc_tail.htm @@ -23,7 +23,7 @@ </ul> <div class="copyright"> <a href="http://frama-c.com">frama-c.com</a><br> -© 2007-2020 CEA-LIST +© 2007-2021 CEA-LIST </div> </body> </html> diff --git a/doc/developer/Makefile b/doc/developer/Makefile index 17a48008a0b5fd0a01b118137ec561e1e14435be..eb5f0c6b5a53b6139548bf6d9ca0565bf0d57c2d 100644 --- a/doc/developer/Makefile +++ b/doc/developer/Makefile @@ -2,7 +2,7 @@ # # # This file is part of Frama-C. # # # -# Copyright (C) 2007-2020 # +# Copyright (C) 2007-2021 # # CEA (Commissariat à l'énergie atomique et aux énergies # # alternatives) # # # diff --git a/doc/developer/check_api/Makefile b/doc/developer/check_api/Makefile index b5e69875778f2f7159fe84091b7525f3f0f5cbce..e2219705a5916e3457881ef319d1a7be13d26059 100644 --- a/doc/developer/check_api/Makefile +++ b/doc/developer/check_api/Makefile @@ -2,7 +2,7 @@ # # # This file is part of Frama-C. # # # -# Copyright (C) 2007-2020 # +# Copyright (C) 2007-2021 # # CEA (Commissariat à l'énergie atomique et aux énergies # # alternatives) # # # diff --git a/doc/developer/check_api/check_and_compare.ml b/doc/developer/check_api/check_and_compare.ml index 8d9f35c6b9be8637f75e3648bc7caa8fd8a8e50c..e767939d391a8f5760b5239aa1627a82f05f6718 100644 --- a/doc/developer/check_api/check_and_compare.ml +++ b/doc/developer/check_api/check_and_compare.ml @@ -2,7 +2,7 @@ (* *) (* This file is part of Frama-C. *) (* *) -(* Copyright (C) 2007-2020 *) +(* Copyright (C) 2007-2021 *) (* CEA (Commissariat à l'énergie atomique et aux énergies *) (* alternatives) *) (* *) diff --git a/doc/developer/check_api/check_code.ml b/doc/developer/check_api/check_code.ml index 7daa8ca1865e715466d28e27c51d436229820839..72539005fc293e584338f9333afe0a5eb4b47072 100644 --- a/doc/developer/check_api/check_code.ml +++ b/doc/developer/check_api/check_code.ml @@ -2,7 +2,7 @@ (* *) (* This file is part of Frama-C. *) (* *) -(* Copyright (C) 2007-2020 *) +(* Copyright (C) 2007-2021 *) (* CEA (Commissariat à l'énergie atomique et aux énergies *) (* alternatives) *) (* *) diff --git a/doc/developer/check_api/check_index_grammar.mly b/doc/developer/check_api/check_index_grammar.mly index f3d6b848fef64d0aab90216717bea24b7d2e6496..3db1a867b460006aeba5f6b15d8e91ae5b59c960 100644 --- a/doc/developer/check_api/check_index_grammar.mly +++ b/doc/developer/check_api/check_index_grammar.mly @@ -2,7 +2,7 @@ /* */ /* This file is part of Frama-C. */ /* */ -/* Copyright (C) 2007-2020 */ +/* Copyright (C) 2007-2021 */ /* CEA (Commissariat à l'énergie atomique et aux énergies */ /* alternatives) */ /* */ diff --git a/doc/developer/check_api/check_index_lexer.mll b/doc/developer/check_api/check_index_lexer.mll index 0ddfc8d8eac0170bb35de717e0ab0823ebf4365a..54b59cfa6be25912d6f34a3a804ed1b7606ad881 100644 --- a/doc/developer/check_api/check_index_lexer.mll +++ b/doc/developer/check_api/check_index_lexer.mll @@ -2,7 +2,7 @@ (* *) (* This file is part of Frama-C. *) (* *) -(* Copyright (C) 2007-2020 *) +(* Copyright (C) 2007-2021 *) (* CEA (Commissariat à l'énergie atomique et aux énergies *) (* alternatives) *) (* *) diff --git a/doc/developer/examples/callstack.ml b/doc/developer/examples/callstack.ml index 43285e51abb01432c6fccc208b792bd6201903ec..c08cff551558f36f7cf49ad7982fb0b8dd4f7a49 100644 --- a/doc/developer/examples/callstack.ml +++ b/doc/developer/examples/callstack.ml @@ -2,7 +2,7 @@ (* *) (* This file is part of Frama-C. *) (* *) -(* Copyright (C) 2007-2020 *) +(* Copyright (C) 2007-2021 *) (* CEA (Commissariat à l'énergie atomique et aux énergies *) (* alternatives) *) (* *) diff --git a/doc/developer/examples/syntactic_check.ml b/doc/developer/examples/syntactic_check.ml index 02350a04f73e7e2a1e810fa45987b5fbb1e04f1a..5c157d4e18bddb63f133e9f69f04dead891eb564 100644 --- a/doc/developer/examples/syntactic_check.ml +++ b/doc/developer/examples/syntactic_check.ml @@ -2,7 +2,7 @@ (* *) (* This file is part of Frama-C. *) (* *) -(* Copyright (C) 2007-2020 *) +(* Copyright (C) 2007-2021 *) (* CEA (Commissariat à l'énergie atomique et aux énergies *) (* alternatives) *) (* *) diff --git a/doc/developer/examples/use_callstack.ml b/doc/developer/examples/use_callstack.ml index 41686788db509f4586983880c6c555134a011037..0b4c456d06570894c1097f4c20515276ffcef286 100644 --- a/doc/developer/examples/use_callstack.ml +++ b/doc/developer/examples/use_callstack.ml @@ -2,7 +2,7 @@ (* *) (* This file is part of Frama-C. *) (* *) -(* Copyright (C) 2007-2020 *) +(* Copyright (C) 2007-2021 *) (* CEA (Commissariat à l'énergie atomique et aux énergies *) (* alternatives) *) (* *) diff --git a/doc/developer/tutorial/hello/Makefile b/doc/developer/tutorial/hello/Makefile index e8251077a92725deba3327e850dfc3463a1ec376..cdeaa65fbabc6fdcbcd072b58387dd47bd62029c 100644 --- a/doc/developer/tutorial/hello/Makefile +++ b/doc/developer/tutorial/hello/Makefile @@ -2,7 +2,7 @@ # # # This file is part of Frama-C. # # # -# Copyright (C) 2007-2020 # +# Copyright (C) 2007-2021 # # CEA (Commissariat à l'énergie atomique et aux énergies # # alternatives) # # # diff --git a/doc/developer/tutorial/viewcfg/Makefile b/doc/developer/tutorial/viewcfg/Makefile index 10954b3ff34dfd18a27cb97d44543e8921213ded..a143ee77a73cdb3b65f71e5c0323664f7444f931 100644 --- a/doc/developer/tutorial/viewcfg/Makefile +++ b/doc/developer/tutorial/viewcfg/Makefile @@ -2,7 +2,7 @@ # # # This file is part of Frama-C. # # # -# Copyright (C) 2007-2020 # +# Copyright (C) 2007-2021 # # CEA (Commissariat à l'énergie atomique et aux énergies # # alternatives) # # # diff --git a/doc/pandoc/style.css b/doc/pandoc/style.css index 919e36dfa80e952c4fb5ac636e3d7bd7a1d4c7f8..f32fd1e16621cfeb8f7367a3d83a1bf29570181b 100644 --- a/doc/pandoc/style.css +++ b/doc/pandoc/style.css @@ -2,7 +2,7 @@ /* */ /* This file is part of Frama-C. */ /* */ -/* Copyright (C) 2007-2020 */ +/* Copyright (C) 2007-2021 */ /* CEA (Commissariat à l'énergie atomique et aux énergies */ /* alternatives) */ /* */ diff --git a/doc/pdg/main.tex b/doc/pdg/main.tex index 3cf6f09d404672b752373e4173fd65c837b63ff2..d26609139a62cc3e0499ed05a788369c175c7eb0 100644 --- a/doc/pdg/main.tex +++ b/doc/pdg/main.tex @@ -19,7 +19,7 @@ \end{tabular} \vfill \begin{flushleft} - \textcopyright 2007-2020 CEA LIST + \textcopyright 2007-2021 CEA LIST \end{flushleft} \end{titlepage} diff --git a/doc/release/Makefile b/doc/release/Makefile index 2b365c1222763eb5a6f398f3668f02c548908e55..0c698b87a884f92a6cbfceb457a287f2f690fd7e 100644 --- a/doc/release/Makefile +++ b/doc/release/Makefile @@ -2,7 +2,7 @@ # # # This file is part of Frama-C. # # # -# Copyright (C) 2007-2020 # +# Copyright (C) 2007-2021 # # CEA (Commissariat à l'énergie atomique et aux énergies # # alternatives) # # # diff --git a/doc/slicing/main.tex b/doc/slicing/main.tex index 817f8ce0d0b860c0703cf04241a512d877f21582..0cb9c021c99201e8303e67bdd0e565844c796cf2 100644 --- a/doc/slicing/main.tex +++ b/doc/slicing/main.tex @@ -21,7 +21,7 @@ \end{tabular} \vfill \begin{flushleft} - \textcopyright 2006-2020 CEA LIST + \textcopyright 2006-2021 CEA LIST \end{flushleft} \end{titlepage}