Commit c6fa4aff2e28539600f8ed29e98158cc779a02f0

David Turner 2000-11-07T02:59:11

removed deprecated reference to "SemTex"