Mercurial Mercurial > hg > pip / 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.
updated
authorChristian Urban <christian dot urban at kcl dot ac dot uk>
Tue, 04 Mar 2014 15:30:24 +0000
changeset 26 da7a6ccfa7a9
parent 25 a9c0eeb00cc3
child 27 6b1141c5e24c
updated
Journal/Paper.thy file | annotate | diff | comparison | revisions
journal.pdf file | annotate | diff | comparison | revisions 
--- a/Journal/Paper.thy	Tue Mar 04 15:27:59 2014 +0000
+++ b/Journal/Paper.thy	Tue Mar 04 15:30:24 2014 +0000
@@ -157,7 +157,7 @@
   the priority it had at the point of entry into the critical section''.
   
   While \cite{book} and
-  \cite{Sha90} are the only formal publication we have 
+  \cite{Sha90} are the only formal publications we have 
   found that describe the incorrect behaviour, not all, but many
   informal\footnote{informal as in ``found on the Web''} 
   descriptions of PIP overlook the possibility that another
Binary file journal.pdf has changed
pip