changed font 5 references to font CW references
authorceriel <none@none>
Mon, 18 Apr 1988 13:34:29 +0000 (13:34 +0000)
committerceriel <none@none>
Mon, 18 Apr 1988 13:34:29 +0000 (13:34 +0000)
commit71efb88a36c25002d8cf1726faa291ed3e6912fe
treef304cf6e5363afa3d19ce9fcbf5d59eab8b8451c
parenta9ad34c8db0299a0a12964910633e02f5868e12d
changed font 5 references to font CW references
doc/occam/ctot
doc/occam/p1
doc/occam/p2
doc/occam/p3
doc/occam/p4
doc/occam/p8
doc/occam/p9
doc/top/top.n