Mercurial Mercurial > hg > public_html / 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.
added
authorChristian Urban <christian dot urban at kcl dot ac dot uk>
Sun, 10 Nov 2013 21:55:13 +0000
changeset 254 9e2d4f273191
parent 253 f4b73afc6007
child 255 a4579bd79197
added
msc-projects-13.html file | annotate | diff | comparison | revisions
rpi-photo.jpg file | annotate | diff | comparison | revisions 
--- a/msc-projects-13.html	Sun Nov 10 21:37:24 2013 +0000
+++ b/msc-projects-13.html	Sun Nov 10 21:55:13 2013 +0000
@@ -511,11 +511,15 @@
 
   <p>
   <B>Skills:</B> 
-  Well, you must be a hacker; happy to make things.
+  Well, you must be a hacker; happy to make things. Your desk might look like this
+  <center>
+  <img style="-webkit-user-select: none; cursor: -webkit-zoom-in;
+  "src="http://www.inf.kcl.ac.uk/staff/urbanc/rpi-photo.jpg" width="313" height="209">
+  </center>
   </p>
 
 
-<li> <H4>[CU8] Proving Correctness of Programs</H4>
+<li> <H4>[CU8] Proving the Correctness of Programs</H4>
 
  <p>
  I am one of the main developers of the interactive theorem prover
@@ -564,7 +568,7 @@
 </TABLE>
 
 <P>
-<!-- hhmts start --> Last modified: Sun Nov 10 21:32:10 GMT 2013 <!-- hhmts end -->
+<!-- hhmts start --> Last modified: Sun Nov 10 21:40:27 GMT 2013 <!-- hhmts end -->
 <a href="http://validator.w3.org/check/referer">[Validate this page.]</a>
 </BODY>
 </HTML>
Binary file rpi-photo.jpg has changed
public_html