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.
small typo in the itp-12 paper
authorurbanc
Thu, 24 May 2012 11:37:03 +0000
changeset 358 b10f8db1e907
parent 357 48906e9a9a50
child 359 1b9163229f3f
small typo in the itp-12 paper
prio/Paper/Paper.thy file | annotate | diff | comparison | revisions
prio/paper.pdf file | annotate | diff | comparison | revisions 
--- a/prio/Paper/Paper.thy	Fri May 11 13:26:50 2012 +0000
+++ b/prio/Paper/Paper.thy	Thu May 24 11:37:03 2012 +0000
@@ -547,8 +547,8 @@
   \end{tabular}
   \end{isabelle}
 
-  \noindent
-  The second definition states that @{text th}  in @{text s}.
+  %\noindent
+  %The second definition states that @{text th}  in @{text s}.
   
   Finally we can define what a \emph{valid state} is in our model of PIP. For
   example we cannot expect to be able to exit a thread, if it was not
Binary file prio/paper.pdf has changed
regexp