diff -r 651fce76c86c -r 91d8abf108be src/HOLCF/README.html
--- a/src/HOLCF/README.html	Fri Dec 13 18:40:50 1996 +0100
+++ b/src/HOLCF/README.html	Fri Dec 13 18:45:58 1996 +0100
@@ -38,7 +38,7 @@
 
 <DT>18.08.95
 <DD>added sections axioms, ops, domain, generated
-    and optional 8bit support
+    and optional 8bit symbolic font support
 </DL>
 </BODY></HTML>