X-Git-Url: http://matita.cs.unibo.it/gitweb/?p=helm.git;a=blobdiff_plain;f=helm%2FDEVEL%2Fpxp%2Fnetstring%2Fdoc%2FABOUT-FINDLIB;fp=helm%2FDEVEL%2Fpxp%2Fnetstring%2Fdoc%2FABOUT-FINDLIB;h=0000000000000000000000000000000000000000;hp=d942e278666c62f0cd415a9645c9a192d8f53e36;hb=869549224eef6278a48c16ae27dd786376082b38;hpb=89262281b6e83bd2321150f81f1a0583645eb0c8

diff --git a/helm/DEVEL/pxp/netstring/doc/ABOUT-FINDLIB b/helm/DEVEL/pxp/netstring/doc/ABOUT-FINDLIB
deleted file mode 100644
index d942e2786..000000000
--- a/helm/DEVEL/pxp/netstring/doc/ABOUT-FINDLIB
+++ /dev/null
@@ -1,52 +0,0 @@
-******************************************************************************
-ABOUT-FINDLIB - Package manager for O'Caml
-******************************************************************************
-
-
-==============================================================================
-Abstract
-==============================================================================
-
-The findlib library provides a scheme to manage reusable software components 
-(packages), and includes tools that support this scheme. Packages are 
-collections of OCaml modules for which metainformation can be stored. The 
-packages are kept in the filesystem hierarchy, but with strict directory 
-structure. The library contains functions to look the directory up that stores 
-a package, to query metainformation about a package, and to retrieve dependency 
-information about multiple packages. There is also a tool that allows the user 
-to enter queries on the command-line. In order to simplify compilation and 
-linkage, there are new frontends of the various OCaml compilers that can 
-directly deal with packages. 
-
-Together with the packages metainformation is stored. This includes a version 
-string, the archives the package consists of, and additional linker options. 
-Packages can also be dependent on other packages. There is a query which finds 
-out all predecessors of a list of packages and sorts them topologically. The 
-new compiler frontends do this implicitly. 
-
-Metainformation can be conditional, i.e. depend on a set of predicates. This is 
-mainly used to be able to react on certain properties of the environment, such 
-as if the bytecode or the native compiler is invoked, if the application is 
-multi-threaded, and a few more. If the new compiler frontends are used, most 
-predicates are found out automatically. 
-
-There is special support for scripts. A new directive, "#require", loads 
-packages into scripts. Of course, this works only with newly created toploops 
-which include the findlib library. 
-
-==============================================================================
-Where to get findlib
-==============================================================================
-
-The manual of findlib is available online [1]. You can download findlib here 
-[2]. 
-
-
---------------------------
-
-[1]   see http://www.ocaml-programming.de/packages/documentation/findlib/
-
-[2]   see http://www.ocaml-programming.de/packages/findlib-0.3.1.tar.gz
-
-
-