# HG changeset patch
# User Christian Urban <christian dot urban at kcl dot ac dot uk>
# Date 1371301326 14400
# Node ID caafd19e790d3f9fae1220520736c0f81572cb69
# Parent  ef7bedc969d313861969484dbb25d90a957c7b48
timestamps

diff -r ef7bedc969d3 -r caafd19e790d index.html
--- a/index.html	Sat Jun 15 08:07:41 2013 -0400
+++ b/index.html	Sat Jun 15 09:02:06 2013 -0400
@@ -294,7 +294,7 @@
 
 </TABLE>
 <P>
+<!-- hhmts start --> Last modified: Sat Jun 15 09:01:05 EDT 2013 <!-- hhmts end -->
 <a href="http://validator.w3.org/check/referer">[Validate this page.]</a>
-
 </BODY>
 </HTML>
diff -r ef7bedc969d3 -r caafd19e790d logic.html
--- a/logic.html	Sat Jun 15 08:07:41 2013 -0400
+++ b/logic.html	Sat Jun 15 09:02:06 2013 -0400
@@ -155,16 +155,16 @@
              List of open problems in term rewriting</A> </DD>
 <DD><A HREF="http://www.cis.upenn.edu/~giorgi/cl.html">Computability Logic Homepage</A> 
 </DL>
-
-
-</TD>
+ 
+ 
+</TD> 
 </TR>
-
+ 
 </TABLE>
-<P><!-- Created: Tue Mar  4 00:23:25 GMT 1997 -->
-<!-- hhmts start -->
-Last modified: Thu Nov  3 01:36:14 GMT 2011
-<!-- hhmts end -->
+<P>
+<!-- hhmts start --> Last modified: Sat Jun 15 09:00:44 EDT 2013 <!-- hhmts end -->
 <a href="http://validator.w3.org/check/referer">[Validate this page.]</a>
 </BODY>
 </HTML>
+   
+
diff -r ef7bedc969d3 -r caafd19e790d misc.html
--- a/misc.html	Sat Jun 15 08:07:41 2013 -0400
+++ b/misc.html	Sat Jun 15 09:02:06 2013 -0400
@@ -119,6 +119,7 @@
 
 </TABLE>
 <P>
+<!-- hhmts start --> Last modified: Sat Jun 15 09:01:52 EDT 2013 <!-- hhmts end -->
 <a href="http://validator.w3.org/check/referer">[Validate this page.]</a>
 </BODY>
 </HTML>
diff -r ef7bedc969d3 -r caafd19e790d publications.html
--- a/publications.html	Sat Jun 15 08:07:41 2013 -0400
+++ b/publications.html	Sat Jun 15 09:02:06 2013 -0400
@@ -486,11 +486,9 @@
 
 
 </TABLE>
-<P><!-- Created: Tue Mar  4 00:23:25 GMT 1997 -->
-<!-- hhmts start -->
-Last modified: Tue Jan 31 16:30:30 GMT 2012
-<!-- hhmts end -->
+<P>
+<!-- hhmts start --> Last modified: Sat Jun 15 09:01:22 EDT 2013 <!-- hhmts end -->
 <a href="http://validator.w3.org/check/referer">[Validate this page.]</a>
-
+ 
 </BODY>
 </HTML>