Bump Stainless version in documentation

epfl-lara · Aug 27, 2021 · be48593 · be48593
1 parent cc78053
commit be48593
Showing 1 changed file with 3 additions and 3 deletions.
diff --git a/core/src/sphinx/conf.py b/core/src/sphinx/conf.py
@@ -52,16 +52,16 @@
 
 # General information about the project.
 project = u'Stainless'
-copyright = u'2009-2019 EPFL, Lausanne'
+copyright = u'2009-2021 EPFL, Lausanne'
 
 # The version info for the project you're documenting, acts as replacement for
 # |version| and |release|, also used in various other places throughout the
 # built documents.
 #
 # The short X.Y version.
-version = '0.8'
+version = '0.9'
 # The full version, including alpha/beta/rc tags.
-release = '0.8.1'
+release = '0.9.0'
 
 # The language for content autogenerated by Sphinx. Refer to documentation
 # for a list of supported languages.