]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/DEVEL/pxp/pxp/doc/manual/html/index.html
Initial revision
[helm.git] / helm / DEVEL / pxp / pxp / doc / manual / html / index.html
diff --git a/helm/DEVEL/pxp/pxp/doc/manual/html/index.html b/helm/DEVEL/pxp/pxp/doc/manual/html/index.html
new file mode 100644 (file)
index 0000000..3c07ff2
--- /dev/null
@@ -0,0 +1,330 @@
+<HTML
+><HEAD
+><TITLE
+>The PXP user's guide</TITLE
+><META
+NAME="GENERATOR"
+CONTENT="Modular DocBook HTML Stylesheet Version 1.46"><LINK
+REL="NEXT"
+TITLE="User's guide"
+HREF="p34.html"><LINK
+REL="STYLESHEET"
+TYPE="text/css"
+HREF="markup.css"></HEAD
+><BODY
+CLASS="BOOK"
+BGCOLOR="#FFFFFF"
+TEXT="#000000"
+LINK="#0000FF"
+VLINK="#840084"
+ALINK="#0000FF"
+><DIV
+CLASS="BOOK"
+><A
+NAME="AEN1"
+></A
+><DIV
+CLASS="TITLEPAGE"
+><H1
+CLASS="TITLE"
+><A
+NAME="AEN1"
+>The PXP user's guide</A
+></H1
+><H3
+CLASS="AUTHOR"
+>Gerd Stolpmann</H3
+><P
+CLASS="COPYRIGHT"
+>Copyright &copy; 1999, 2000 by <SPAN
+CLASS="HOLDER"
+>Gerd Stolpmann</SPAN
+></P
+><DIV
+><DIV
+CLASS="ABSTRACT"
+><P
+></P
+><P
+><SPAN
+CLASS="ACRONYM"
+>PXP</SPAN
+> is a validating parser for XML-1.0 which has been
+written entirely in Objective Caml.</P
+><DIV
+CLASS="FORMALPARA"
+><P
+><H1
+CLASS="TITLE"
+><A
+NAME="AEN18"
+>Download <SPAN
+CLASS="ACRONYM"
+>PXP</SPAN
+>:</A
+></H1
+>The free <SPAN
+CLASS="ACRONYM"
+>PXP</SPAN
+> library can be downloaded at
+<A
+HREF="http://www.ocaml-programming.de/packages/"
+TARGET="_top"
+>http://www.ocaml-programming.de/packages/</A
+>. This user's guide is included.
+Newest releases of <SPAN
+CLASS="ACRONYM"
+>PXP</SPAN
+> will be announced in
+<A
+HREF="http://www.npc.de/ocaml/linkdb/"
+TARGET="_top"
+>The OCaml Link
+Database</A
+>.</P
+></DIV
+><P
+></P
+></DIV
+></DIV
+><DIV
+CLASS="LEGALNOTICE"
+><P
+><B
+>License</B
+></P
+><P
+>This document, and the described software, "<SPAN
+CLASS="ACRONYM"
+>PXP</SPAN
+>", are copyright by
+Gerd Stolpmann. </P
+><P
+>Permission is hereby granted, free of charge, to any person obtaining
+a copy of this document and the "<SPAN
+CLASS="ACRONYM"
+>PXP</SPAN
+>" software (the
+"Software"), to deal in the Software without restriction, including
+without limitation the rights to use, copy, modify, merge, publish,
+distribute, sublicense, and/or sell copies of the Software, and to
+permit persons to whom the Software is furnished to do so, subject to
+the following conditions:</P
+><P
+>The above copyright notice and this permission notice shall be included
+in all copies or substantial portions of the Software.</P
+><P
+>The Software is provided ``as is'', without warranty of any kind, express
+or implied, including but not limited to the warranties of
+merchantability, fitness for a particular purpose and noninfringement.
+In no event shall Gerd Stolpmann be liable for any claim, damages or
+other liability, whether in an action of contract, tort or otherwise,
+arising from, out of or in connection with the Software or the use or
+other dealings in the software.</P
+></DIV
+><HR></DIV
+><DIV
+CLASS="TOC"
+><DL
+><DT
+><B
+>Table of Contents</B
+></DT
+><DT
+>I. <A
+HREF="p34.html"
+>User's guide</A
+></DT
+><DD
+><DL
+><DT
+>1. <A
+HREF="c36.html"
+>What is XML?</A
+></DT
+><DD
+><DL
+><DT
+>1.1. <A
+HREF="c36.html#AEN38"
+>Introduction</A
+></DT
+><DT
+>1.2. <A
+HREF="x107.html"
+>Highlights of XML</A
+></DT
+><DT
+>1.3. <A
+HREF="x468.html"
+>A complete example: The <I
+CLASS="EMPHASIS"
+>readme</I
+> DTD</A
+></DT
+></DL
+></DD
+><DT
+>2. <A
+HREF="c533.html"
+>Using <SPAN
+CLASS="ACRONYM"
+>PXP</SPAN
+></A
+></DT
+><DD
+><DL
+><DT
+>2.1. <A
+HREF="c533.html#AEN536"
+>Validation</A
+></DT
+><DT
+>2.2. <A
+HREF="x550.html"
+>How to parse a document from an application</A
+></DT
+><DT
+>2.3. <A
+HREF="x675.html"
+>Class-based processing of the node tree</A
+></DT
+><DT
+>2.4. <A
+HREF="x738.html"
+>Example: An HTML backend for the <I
+CLASS="EMPHASIS"
+>readme</I
+>
+DTD</A
+></DT
+></DL
+></DD
+><DT
+>3. <A
+HREF="c893.html"
+>The objects representing the document</A
+></DT
+><DD
+><DL
+><DT
+>3.1. <A
+HREF="c893.html#AEN897"
+>The <TT
+CLASS="LITERAL"
+>document</TT
+> class</A
+></DT
+><DT
+>3.2. <A
+HREF="x939.html"
+>The class type <TT
+CLASS="LITERAL"
+>node</TT
+></A
+></DT
+><DT
+>3.3. <A
+HREF="x1439.html"
+>The class type <TT
+CLASS="LITERAL"
+>extension</TT
+></A
+></DT
+><DT
+>3.4. <A
+HREF="x1496.html"
+>Details of the mapping from XML text to the tree representation</A
+></DT
+></DL
+></DD
+><DT
+>4. <A
+HREF="c1567.html"
+>Configuring and calling the parser</A
+></DT
+><DD
+><DL
+><DT
+>4.1. <A
+HREF="c1567.html#AEN1569"
+>Overview</A
+></DT
+><DT
+>4.2. <A
+HREF="x1629.html"
+>Resolvers and sources</A
+></DT
+><DT
+>4.3. <A
+HREF="x1812.html"
+>The DTD classes</A
+></DT
+><DT
+>4.4. <A
+HREF="x1818.html"
+>Invoking the parser</A
+></DT
+><DT
+>4.5. <A
+HREF="x1965.html"
+>Updates</A
+></DT
+></DL
+></DD
+></DL
+></DD
+></DL
+></DIV
+></DIV
+><DIV
+CLASS="NAVFOOTER"
+><HR
+ALIGN="LEFT"
+WIDTH="100%"><TABLE
+WIDTH="100%"
+BORDER="0"
+CELLPADDING="0"
+CELLSPACING="0"
+><TR
+><TD
+WIDTH="33%"
+ALIGN="left"
+VALIGN="top"
+>&nbsp;</TD
+><TD
+WIDTH="34%"
+ALIGN="center"
+VALIGN="top"
+>&nbsp;</TD
+><TD
+WIDTH="33%"
+ALIGN="right"
+VALIGN="top"
+><A
+HREF="p34.html"
+>Next</A
+></TD
+></TR
+><TR
+><TD
+WIDTH="33%"
+ALIGN="left"
+VALIGN="top"
+>&nbsp;</TD
+><TD
+WIDTH="34%"
+ALIGN="center"
+VALIGN="top"
+>&nbsp;</TD
+><TD
+WIDTH="33%"
+ALIGN="right"
+VALIGN="top"
+>User's guide</TD
+></TR
+></TABLE
+></DIV
+></BODY
+></HTML
+>
\ No newline at end of file