[Python-checkins] peps: Change the level of a few headings. Remove duplicate title.

[guido.van.rossum]

https://hg.python.org/peps/rev/ac3c4fefd85f
changeset:   5668:ac3c4fefd85f
user:        Guido van Rossum <guido at python.org>
date:        Fri Jan 09 10:55:11 2015 -0800
summary:
  Change the level of a few headings. Remove duplicate title.

files:
  pep-0483.txt |  11 ++++++-----
  1 files changed, 6 insertions(+), 5 deletions(-)


diff --git a/pep-0483.txt b/pep-0483.txt
--- a/pep-0483.txt
+++ b/pep-0483.txt
@@ -11,17 +11,14 @@
 Post-History:
 Resolution:
 
-The Theory of Type Hinting
-==========================
-
 Abstract
---------
+========
 
 This PEP lays out the theory to be referenced by PEP 484.
 
 
 Introduction
-------------
+============
 
 This document lays out the theory of the new type hinting proposal for
 Python 3.5. It's not quite a full proposal or specification because
@@ -33,6 +30,10 @@
 generic types. (The latter section needs more fleshing out; sorry!)
 
 
+Specification
+=============
+
+
 Summary of gradual typing
 -------------------------
 

-- 
Repository URL: https://hg.python.org/peps