diff -r 5199ab3d11ae -r 7db60f7c98cf index.html
--- a/index.html	Fri Jan 06 18:42:53 2012 +0000
+++ b/index.html	Fri Jan 06 18:43:18 2012 +0000
@@ -282,7 +282,7 @@
 <B>G4ip</B> An implementation of G4ip using the imperative language Pizza can be found 
 <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. The implementation illustrates the technique of success 
+extension of Java and a precursor of Scala. My implementation illustrates the technique of success 
 continuations.
 </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:42:46 GMT 2012
+Last modified: Fri Jan  6 18:43:16 GMT 2012
 <!-- hhmts end -->
 <a href="http://validator.w3.org/check/referer">[Validate this page.]</a>