changeset 17 | 105715a0a807 |
parent 13 | 735e36c64a71 |
child 20 | b56616fd88dd |
--- a/Journal/document/root.tex Sat Dec 22 01:58:45 2012 +0000 +++ b/Journal/document/root.tex Sat Dec 22 14:50:29 2012 +0000 @@ -47,7 +47,7 @@ \begin{document} \renewcommand{\thefootnote}{$\star$} -\footnotetext[1]{This is a revised and expanded version of \cite{ZhangUrbanWu12}.} +\footnotetext[1]{This is a revised, corrected and expanded version of \cite{ZhangUrbanWu12}.} \renewcommand{\thefootnote}{\arabic{footnote}} \title{Priority Inheritance Protocol Proved Correct}