
diff -r 83fb18cadd2b -r 1baf8d0c7093 prio/document/root.tex
--- a/prio/document/root.tex	Mon Jan 30 06:46:47 2012 +0000
+++ b/prio/document/root.tex	Mon Jan 30 08:45:56 2012 +0000
@@ -16,7 +16,7 @@
 %%\usepackage{mathabx}
 \usepackage{stmaryrd}
 
-\titlerunning{Myhill-Nerode using Regular Expressions}
+\titlerunning{Proving the Priority Inheritance Protocol Correct}
 
 
 \urlstyle{rm}




