X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2FDEVEL%2Fpxp%2Fpxp%2Fcompatibility%2FREADME;fp=helm%2FDEVEL%2Fpxp%2Fpxp%2Fcompatibility%2FREADME;h=0000000000000000000000000000000000000000;hb=3ef089a4c58fbe429dd539af6215991ecbe11ee2;hp=50086732a3409e031926ccc1a2ae6fc0de573781;hpb=1c7fb836e2af4f2f3d18afd0396701f2094265ff;p=helm.git

diff --git a/helm/DEVEL/pxp/pxp/compatibility/README b/helm/DEVEL/pxp/pxp/compatibility/README
deleted file mode 100644
index 50086732a..000000000
--- a/helm/DEVEL/pxp/pxp/compatibility/README
+++ /dev/null
@@ -1,21 +0,0 @@
-This directory contains the modules for Markup-0.2.10
-compatibility. The modules consist mainly of wrapper classes for the
-new PXP classes, and translate the old methods to the new ones.
-
-Please note that the compatibility is not perfect. Sometimes there are
-new methods which do not exist in Markup-0.2.10, and sometimes even
-existing methods changed their signature. I have tried to avoid that,
-but there are some ugly cases which are hard to solve without such
-modifications. 
-
-Translating old methods into new methods costs time and
-memory. Because of this, it is best to consider the compatibility
-modules as migration path to PXP: You can test whether PXP parses your
-input files, and you can compare the old API with the new API
-directly. (However, it is hard to test new features of PXP with the
-compatibility modules; the old API does not reflect the new features.)
-
-The compatibility modules are currently maintained, but that will stop
-once PXP has been established.
-
-(Gerd)