Searched refs:HTMLPublicId (Results 1 - 3 of 3) sorted by relevance

/openjdk7/jaxp/src/com/sun/org/apache/xml/internal/serialize/
H A DOutputFormat.java73 public static final String HTMLPublicId = "-//W3C//DTD HTML 4.01//EN"; field in class:OutputFormat.DTD
H A DHTMLdtd.java57 public static final String HTMLPublicId = "-//W3C//DTD HTML 4.01//EN"; field in class:HTMLdtd
H A DHTMLSerializer.java645 _docTypePublicId = HTMLdtd.HTMLPublicId;

Completed in 68 milliseconds