]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/DEVEL/pxp/pxp/doc/manual/html/index.html
This commit was manufactured by cvs2svn to create branch
[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
deleted file mode 100644 (file)
index 3c07ff2..0000000
+++ /dev/null
@@ -1,330 +0,0 @@
-<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