X-Git-Url: http://matita.cs.unibo.it/gitweb/?p=helm.git;a=blobdiff_plain;f=helm%2FDEVEL%2Fpxp%2Fpxp%2Fdoc%2Fmanual%2Fhtml%2Fp34.html;fp=helm%2FDEVEL%2Fpxp%2Fpxp%2Fdoc%2Fmanual%2Fhtml%2Fp34.html;h=0000000000000000000000000000000000000000;hp=9db427d34ae8ba9942af5dec11d34af0f6582851;hb=869549224eef6278a48c16ae27dd786376082b38;hpb=89262281b6e83bd2321150f81f1a0583645eb0c8 diff --git a/helm/DEVEL/pxp/pxp/doc/manual/html/p34.html b/helm/DEVEL/pxp/pxp/doc/manual/html/p34.html deleted file mode 100644 index 9db427d34..000000000 --- a/helm/DEVEL/pxp/pxp/doc/manual/html/p34.html +++ /dev/null @@ -1,167 +0,0 @@ -User's guide
The PXP user's guide
PrevNext

I. User's guide

Table of Contents
1. What is XML?
2. Using PXP
3. The objects representing the document
4. Configuring and calling the parser
PrevHomeNext
The PXP user's guide What is XML?
\ No newline at end of file