helm/DEVEL/pxp/pxp/compatibility/markup_dtd.ml

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