# HG changeset patch
# User urbanc
# Date 1327365292 0
# Node ID f1e6071a4613c93bc25c838d98791013525aae02
# Parent  4190df6f4488e18f25ec69631b9f89348f41b965
minor edit

diff -r 4190df6f4488 -r f1e6071a4613 prio/IsaMakefile
--- a/prio/IsaMakefile	Tue Jan 24 00:20:09 2012 +0000
+++ b/prio/IsaMakefile	Tue Jan 24 00:34:52 2012 +0000
@@ -18,7 +18,7 @@
 
 session: ./ROOT.ML ./*.thy
 	@$(USEDIR) -b -D generated -f ROOT.ML HOL Prio
-	
+
 paper: Paper/ROOT.ML \
        Paper/*.thy 
 	@$(USEDIR) -D generated -f ROOT.ML Prio Paper
diff -r 4190df6f4488 -r f1e6071a4613 prio/Paper/document/root.tex
--- a/prio/Paper/document/root.tex	Tue Jan 24 00:20:09 2012 +0000
+++ b/prio/Paper/document/root.tex	Tue Jan 24 00:34:52 2012 +0000
@@ -41,7 +41,7 @@
        for Correct and Efficient Implementation}
 \author{Xingyuan Zhang\inst{1} \and Christian Urban\inst{2} \and Chunhan Wu\inst{1}}
 \institute{PLA University of Science and Technology, China \and 
-           King's College, University of London, U.K.}
+           King's College London, U.K.}
 \maketitle
 
 %\mbox{}\\[-10mm]
diff -r 4190df6f4488 -r f1e6071a4613 prio/paper.pdf
Binary file prio/paper.pdf has changed