]> matita.cs.unibo.it Git - helm.git/blob - helm/helmpot/README
...
[helm.git] / helm / helmpot / README
1
2 HELMPoT
3 -------
4
5 HELMPoT is a small plug-out for Netscape Navigator in order to
6 browse the HELM library. After installing the binary somewhere
7 in your hard disk, just configure a new helper application in
8 Netscape associated to the text/xml MIME type. The command
9 to be executed should something of the kind:
10
11         helmpot '%s'
12
13 assuming that helmpot is visible in your path.
14
15 Enjoy,
16
17         luca.padovani@cs.unibo.it
18