[Javapathfinder-user] convenience libs upload

[Peter C. M. <pcm...@em...>]

I just uploaded two separate zip archives

- jpf-lib.zip
- jpf-build-tools.zip

containing 3rd party runtime and build libraries for
JavaPathFinder. See the "Prerequisites" doc for details.

Unzip both in the JavaPathFinder root dir. Contents should be
automatically picked up if you use

bin/jpf - to start JavaPathFinder
build-tools/bin/ant - to build the system

No need for any additional CLASSPATH settings.

Both archives are strictly for your convenience, and not
required if you already have installed these libs (e.g. as part
of Eclipse)

-- Peter