-- this is a merge of the catalgues for HTML2.0 and HTML3.2 Joe Armstrong 971008 -- PUBLIC "-//W3C//DTD HTML 3.2 Final//EN" HTML32.dtd PUBLIC "-//W3C//DTD HTML 3.2 Draft//EN" HTML32.dtd PUBLIC "-//W3C//DTD HTML 3.2//EN" HTML32.dtd PUBLIC "ISO 8879-1986//ENTITIES Added Latin 1//EN//HTML" ISOlat1.ent PUBLIC "-//IETF//DTD HTML//EN" HTML20.dtd PUBLIC "-//IETF//DTD HTML 2.0//EN" HTML20.dtd PUBLIC "-//IETF//DTD HTML Level 2//EN" HTML20.dtd PUBLIC "-//IETF//DTD HTML 2.0 Level 2//EN" HTML20.dtd