2 * ----------------------------------------------------------------------
7 (w : Markup_types.collect_warnings :> Pxp_types.collect_warnings)
10 class dtd_element dtd name =
11 Pxp_dtd.dtd_element dtd name;;
13 class dtd_notation name id =
14 Pxp_dtd.dtd_notation name id `Enc_iso88591;;
16 class proc_instruction target value =
17 Pxp_dtd.proc_instruction target value `Enc_iso88591;;
20 (* ======================================================================
24 * Revision 1.1 2000/11/17 09:57:30 lpadovan
27 * Revision 1.3 2000/07/14 21:35:35 gerd
28 * Updated because of the simplification of Pxp_types.collect_warnings.
30 * Revision 1.2 2000/06/14 22:19:27 gerd
31 * Update because of additional 'encoding' methods.
33 * Revision 1.1 2000/05/29 23:43:51 gerd
34 * Initial compatibility revision.