Mercurial Mercurial > hg > tm / 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 paper
authorChristian Urban <christian dot urban at kcl dot ac dot uk>
Thu, 07 Feb 2013 05:19:01 +0000
changeset 156 7c9dbacc6c7c
parent 155 1834acc6fd76
child 157 fe0e6733b9e4
updated paper
Paper/Paper.thy file | annotate | diff | comparison | revisions 
--- a/Paper/Paper.thy	Thu Feb 07 05:12:55 2013 +0000
+++ b/Paper/Paper.thy	Thu Feb 07 05:19:01 2013 +0000
@@ -1405,7 +1405,7 @@
   \begin{quote}\it
   ``If the function that is to be computed assigns no value to the arguments that 
   are represented initially on the tape, then the machine either will never halt, 
-  or will halt in some nonstandard configuration\ldots''
+  \colorbox{mygrey}{or} will halt in some nonstandard configuration\ldots''
   \end{quote}
   
   \noindent
tm