> Secondly, where do I download Plucker 1.1.5 for Linux? I was about to
> rebuild again but I see that a new version is out. There doesn't seem
> to be a source link for it, though, only a binary-only one.
From the cvs. Grab the snapshot and build from that. Mike has put a
few newer releases on the server, but I've been busy trying to mirror and
relocate the box 3,051 miles away from it's present location, and haven't
had time to put them up for download. A 1.1.7 release is sitting there. I'll
clean that up and put it available for download today on the site. If you
want, you can simply point your browser at these:
plucker-1.1.7.zip - "normal" Palm distribution, no parsers
plucker_bin-1.1.7.tar.gz - binary-only distribution
plucker-1.1.7.tar.gz - everything
plucker_manual-1.1.7.tar.gz - docs, manual in html format
Prepend http://plucker.gnu-designs.com/download/plucker-1.1/ to the
front of each of them. Obviously it's not a browsable directory.
/d