X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fhelmpot%2FREADME;fp=helm%2Fhelmpot%2FREADME;h=2e7cb0da0b95a74d08d8581f2eb59b5df0f5ebb9;hb=d70d5de1ec9ccc86c9df45036245af34c37575ea;hp=0000000000000000000000000000000000000000;hpb=99d60351f793983bb7633334ea59e95feb36c72c;p=helm.git

diff --git a/helm/helmpot/README b/helm/helmpot/README
new file mode 100644
index 000000000..2e7cb0da0
--- /dev/null
+++ b/helm/helmpot/README
@@ -0,0 +1,18 @@
+
+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
+