# HG changeset patch
# User Christian Urban <urbanc@in.tum.de>
# Date 1325875494 0
# Node ID c7ff53dd9d09798f16c956804c0e8c75b3580c14
# Parent  2965ac4b71180f8984425121305b73609aca2b52
tuned

diff -r 2965ac4b7118 -r c7ff53dd9d09 index.html
--- a/index.html	Fri Jan 06 18:44:15 2012 +0000
+++ b/index.html	Fri Jan 06 18:44:54 2012 +0000
@@ -283,7 +283,7 @@
 <A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/Prover/index.html">here</A>.
 <A HREF="http://pizzacompiler.sourceforge.net">Pizza</A>, written around 1996, is a conservative 
 extension of Java and a precursor of Scala. My implementation illustrates the technique of 
-proof seach using success continuations.
+success continuations in proof search.
 </TD>
 </TR>
  
@@ -291,7 +291,7 @@
 </TABLE>
 <P><!-- Created: Tue Mar  4 00:23:25 GMT 1997 -->
 <!-- hhmts start -->
-Last modified: Fri Jan  6 18:44:12 GMT 2012
+Last modified: Fri Jan  6 18:44:51 GMT 2012
 <!-- hhmts end -->
 <a href="http://validator.w3.org/check/referer">[Validate this page.]</a>