diff -r 2bfa0215904c -r 4970fb01aa01 src/HOLCF/README.html --- a/src/HOLCF/README.html Mon Sep 10 19:21:03 2007 +0200 +++ b/src/HOLCF/README.html Tue Sep 11 14:26:49 2007 +0200 @@ -32,7 +32,7 @@