
diff -r 313acffe63b6 -r 92f61f6a0fe7 Journal/document/root.tex
--- a/Journal/document/root.tex	Tue May 20 12:49:21 2014 +0100
+++ b/Journal/document/root.tex	Thu May 22 17:40:39 2014 +0100
@@ -53,7 +53,7 @@
 \footnotetext[1]{This paper is a revised, corrected and expanded version of \cite{ZhangUrbanWu12}.
 Compared with that paper we give an actual implementation of our formalised scheduling 
 algorithm in C and the operating system PINTOS. Our implementation follows closely all results
-we proved about optimisations.}
+we proved about optimisations of the Priority Inheritance Protocol.}
 \renewcommand{\thefootnote}{\arabic{footnote}}
 
 \title{Priority Inheritance Protocol Proved Correct}




