]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/helmpot/README
This commit was manufactured by cvs2svn to create branch
[helm.git] / helm / helmpot / README
diff --git a/helm/helmpot/README b/helm/helmpot/README
deleted file mode 100644 (file)
index 2e7cb0d..0000000
+++ /dev/null
@@ -1,18 +0,0 @@
-
-HELMPoT
--------
-
-HELMPoT is a small plug-out for Netscape Navigator in order to
-browse the HELM library. After installing the binary somewhere
-in your hard disk, just configure a new helper application in
-Netscape associated to the text/xml MIME type. The command
-to be executed should something of the kind:
-
-       helmpot '%s'
-
-assuming that helmpot is visible in your path.
-
-Enjoy,
-
-       luca.padovani@cs.unibo.it
-