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=3ef089a4c58fbe429dd539af6215991ecbe11ee2;hpb=1c7fb836e2af4f2f3d18afd0396701f2094265ff 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