From 21f91d91b99fcb1cec8840137d929da88e42e65e Mon Sep 17 00:00:00 2001
From: Thibaut Horel <thibaut.horel@gmail.com>
Date: Mon, 11 Feb 2013 10:47:04 -0800
Subject: Section titles capitalization and splitting section 4

---
 paper.tex | 2 ++
 1 file changed, 2 insertions(+)

(limited to 'paper.tex')

diff --git a/paper.tex b/paper.tex
index fde8270..3b13ea1 100644
--- a/paper.tex
+++ b/paper.tex
@@ -35,6 +35,8 @@ S. Muthukrishnan \affil{Rutgers University, Microsoft Research}}
 \input{problem}
 \section{Mechanism for \SEDP{}}
 \input{main}
+\section{Proofs}
+\input{proofs}
 \section{Extension to Other Problems}\label{sec:ext}
 \input{general}
 %\section{Conclusion}
-- 
cgit v1.2.3-70-g09d2

