diff --git a/docs/ReleaseNotes.rst b/docs/ReleaseNotes.rst
index df3f7ba..5392f3d 100644
--- a/docs/ReleaseNotes.rst
+++ b/docs/ReleaseNotes.rst
@@ -1,8 +1,8 @@
 =============================
-Release Notes 12.0 (upcoming)
+Release Notes 13.0 (upcoming)
 =============================
 
-In Polly 12 the following important changes have been incorporated.
+In Polly 13 the following important changes have been incorporated.
 
 .. warning::
 
@@ -11,8 +11,3 @@
   branch.
 
 - Change ...
-
- * The LLVM option -polly-isl-arg was added to pass options to ISL's
-   command line option parser. For instance,
-   -polly-isl-arg=--schedule-algorithm=feautrier switches to the
-   Feautrier scheduling algorithm.
diff --git a/docs/conf.py b/docs/conf.py
index 31af9c6..44bb82a 100644
--- a/docs/conf.py
+++ b/docs/conf.py
@@ -1,7 +1,7 @@
 # -*- coding: utf-8 -*-
 #
 # Polly documentation build configuration file, created by
-# sphinx-quickstart on Sun Dec  9 20:01:55 2012.
+# sphinx-quickstart on Sun Dec  9 20:01:55 2013.
 #
 # This file is execfile()d with the current directory set to its containing dir.
 #
@@ -49,9 +49,9 @@
 # built documents.
 #
 # The short X.Y version.
-version = '12.0-devel'
+version = '13.0-devel'
 # The full version, including alpha/beta/rc tags.
-release = '12.0-devel'
+release = '13.0-devel'
 
 # The language for content autogenerated by Sphinx. Refer to documentation
 # for a list of supported languages.