--- a/Journal/document/root.tex	Mon Dec 17 12:34:24 2012 +0000
+++ b/Journal/document/root.tex	Wed Dec 19 12:51:06 2012 +0000
@@ -9,27 +9,25 @@
 \usepackage{mathpartir}
 \usepackage{tikz}
 \usepackage{pgf}
-%\usetikzlibrary{arrows,automata,decorations,fit,calc}
-%\usetikzlibrary{shapes,shapes.arrows,snakes,positioning}
-%\usepgflibrary{shapes.misc} % LATEX and plain TEX and pure pgf
-%\usetikzlibrary{matrix}
 \usepackage{pdfsetup}
 \usepackage{ot1patch}
 \usepackage{times}
-%%\usepackage{proof}
-%%\usepackage{mathabx}
 \usepackage{stmaryrd}
 \usepackage{url}
 \usepackage{color}
-%%%\titlerunning{Proving the Priority Inheritance Protocol Correct}
-
+\usepackage{courier}
+\usepackage{listings}
+\lstset{language=C,
+        numbers=left,
+        basicstyle=\small\ttfamily,
+        numberstyle=\footnotesize, frame=tb}
 
 \urlstyle{rm}
 \isabellestyle{it}
 \renewcommand{\isastyleminor}{\it}%
 \renewcommand{\isastyle}{\normalsize\it}%
 
-
+%%%\titlerunning{Proving the Priority Inheritance Protocol Correct}
 \def\dn{\,\stackrel{\mbox{\scriptsize def}}{=}\,}
 \renewcommand{\isasymequiv}{$\dn$}
 \renewcommand{\isasymemptyset}{$\varnothing$}