Mercurial Mercurial > hg > regexp / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
minor edit
authorurbanc
Tue, 24 Jan 2012 00:34:52 +0000
changeset 263 f1e6071a4613
parent 262 4190df6f4488
child 264 24199eb2c423
minor edit
prio/IsaMakefile file | annotate | diff | comparison | revisions
prio/Paper/document/root.tex file | annotate | diff | comparison | revisions
prio/paper.pdf file | annotate | diff | comparison | revisions 
--- 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
--- 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]
Binary file prio/paper.pdf has changed
regexp