# HG changeset patch
# User Christian Urban <urbanc@in.tum.de>
# Date 1325875373 0
# Node ID 5199ab3d11aeb8ef23f1620be63fe5861d44edd8
# Parent  618f6f2656868a39e83cf23f440c6d8c4ce371b3
tuned

diff -r 618f6f265686 -r 5199ab3d11ae index.html
--- a/index.html	Fri Jan 06 18:41:44 2012 +0000
+++ b/index.html	Fri Jan 06 18:42:53 2012 +0000
@@ -281,7 +281,7 @@
 <TD BGCOLOR="#FFFFFF" WIDTH="75%">
 <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> is a conservative 
+<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 
 continuations.
 </TD>
@@ -291,7 +291,7 @@
 </TABLE>
 <P><!-- Created: Tue Mar  4 00:23:25 GMT 1997 -->
 <!-- hhmts start -->
-Last modified: Fri Jan  6 18:41:42 GMT 2012
+Last modified: Fri Jan  6 18:42:46 GMT 2012
 <!-- hhmts end -->
 <a href="http://validator.w3.org/check/referer">[Validate this page.]</a>