--- a/prio/Paper/document/root.tex	Mon Feb 13 22:45:06 2012 +0000
+++ b/prio/Paper/document/root.tex	Mon Feb 13 23:31:40 2012 +0000
@@ -17,7 +17,7 @@
 %%\usepackage{mathabx}
 \usepackage{stmaryrd}
 \usepackage{url}
-
+\usepackage{color}
 \titlerunning{Proving the Priority Inheritance Protocol Correct}
 
 
@@ -34,7 +34,7 @@
 \renewcommand{\isasymiota}{}
 
 \newcommand{\numbered}[1]{\refstepcounter{equation}{\rm(\arabic{equation})}\label{#1}}
-
+\definecolor{mygrey}{rgb}{.80,.80,.80}
 
 \begin{document}
 
@@ -68,8 +68,8 @@
 
 \input{session}
 
-\bibliographystyle{plain}
-\bibliography{root}
+%\bibliographystyle{plain}
+%\bibliography{root}
 
 \end{document}