Searched defs:HTMLPublicId (Results 1 - 2 of 2) sorted by relevance

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

Completed in 1468 milliseconds