+++ /dev/null
-(* $Id$
- * ----------------------------------------------------------------------
- *)
-
-class dtd w =
- Pxp_dtd.dtd
- (w : Markup_types.collect_warnings :> Pxp_types.collect_warnings)
- `Enc_iso88591;;
-
-class dtd_element dtd name =
- Pxp_dtd.dtd_element dtd name;;
-
-class dtd_notation name id =
- Pxp_dtd.dtd_notation name id `Enc_iso88591;;
-
-class proc_instruction target value =
- Pxp_dtd.proc_instruction target value `Enc_iso88591;;
-
-
-(* ======================================================================
- * History:
- *
- * $Log$
- * Revision 1.1 2000/11/17 09:57:30 lpadovan
- * Initial revision
- *
- * Revision 1.3 2000/07/14 21:35:35 gerd
- * Updated because of the simplification of Pxp_types.collect_warnings.
- *
- * Revision 1.2 2000/06/14 22:19:27 gerd
- * Update because of additional 'encoding' methods.
- *
- * Revision 1.1 2000/05/29 23:43:51 gerd
- * Initial compatibility revision.
- *
- *)