Bump the trunk major version to 13
and clear the release notes.
GitOrigin-RevId: 5369517d20dd362a178a1b2d6c398d8898ee4620
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.