make/data/dtdbuilder/public.map
author redestad
Wed, 10 Apr 2019 20:03:07 +0200
changeset 54492 9d0ae9508d53
parent 47216 71c04702a3d5
permissions -rw-r--r--
8222029: Optimize Math.floorMod Reviewed-by: aph, darcy
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