jdk/make/tools/dtdbuilder/dtds/public.map
author sherman
Wed, 10 Dec 2008 14:03:15 -0800 (2008-12-10)
changeset 1713 f8b8bfa64fc1
parent 2 90ce3da70b43
permissions -rw-r--r--
6642323: Speeding up Single Byte Decoders 6642328: Speeding up Single Byte Encoders Summary: re-implementation of mapping based sbcs charts Reviewed-by: alanb
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