]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/helmpot/README
This commit was manufactured by cvs2svn to create branch 'start'.
[helm.git] / helm / helmpot / README
diff --git a/helm/helmpot/README b/helm/helmpot/README
new file mode 100644 (file)
index 0000000..2e7cb0d
--- /dev/null
@@ -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
+