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.
timestamps
authorChristian Urban <christian dot urban at kcl dot ac dot uk>
Sat, 15 Jun 2013 09:02:06 -0400
changeset 201 caafd19e790d
parent 200 ef7bedc969d3
child 202 058698de9d5d
timestamps
index.html file | annotate | diff | comparison | revisions
logic.html file | annotate | diff | comparison | revisions
misc.html file | annotate | diff | comparison | revisions
publications.html file | annotate | diff | comparison | revisions 
--- 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>
--- 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>
+   
+
--- 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>
--- 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>
public_html