src/HOLCF/README.html
changeset 2394 91d8abf108be
parent 1410 324aa8134639
child 3279 815ef5848324
--- 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>