make/data/dtdbuilder/public.map
author herrick
Thu, 28 Mar 2019 13:49:38 -0400
branchJDK-8200758-branch
changeset 57292 7a683c461b80
parent 47216 71c04702a3d5
permissions -rw-r--r--
Merge
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
2
90ce3da70b43 Initial load
duke
parents:
diff changeset
     1
-- ISO latin 1 entity set for HTML -- 
90ce3da70b43 Initial load
duke
parents:
diff changeset
     2
PUBLIC	"-//W3C//ENTITIES Latin 1//EN//HTML"            HTMLlat1.sgml
90ce3da70b43 Initial load
duke
parents:
diff changeset
     3
90ce3da70b43 Initial load
duke
parents:
diff changeset
     4
-- Mathematical, Greek and Symbolic characters for HTML --
90ce3da70b43 Initial load
duke
parents:
diff changeset
     5
PUBLIC	"-//W3C//ENTITIES Symbols//EN//HTML"            HTMLsymbol.sgml
90ce3da70b43 Initial load
duke
parents:
diff changeset
     6
90ce3da70b43 Initial load
duke
parents:
diff changeset
     7
-- Special characters for HTML --
90ce3da70b43 Initial load
duke
parents:
diff changeset
     8
PUBLIC	"-//W3C//ENTITIES Special//EN//HTML"            HTMLspecial.sgml
90ce3da70b43 Initial load
duke
parents:
diff changeset
     9
90ce3da70b43 Initial load
duke
parents:
diff changeset
    10
-- HotJava - 3.2+ support --
90ce3da70b43 Initial load
duke
parents:
diff changeset
    11
PUBLIC  "-//HotJava//DTD HotJava 1.0 HTML 3.2 Draft 19960821//EN"   html32.dtd
90ce3da70b43 Initial load
duke
parents:
diff changeset
    12