Re: [PPL-devel] Parma Polyhedra Library 0.11.1

2011-02-22 Thread David Fang
Great, thanks for providing these! Fang On 02/22/2011 03:00 AM, Jack Howarth wrote: The problems seems to stem from the absence of pre-generated files for... ppl-user-java-interface-0.11.1-html.tar.gz ppl-user-java-interface-0.11.1.pdf ppl-user-java-interface-0.11.1.ps.gz in the doc dir

Re: [PPL-devel] Parma Polyhedra Library 0.11.1

2011-02-22 Thread Roberto Bagnara
On 02/22/2011 03:00 AM, Jack Howarth wrote: The problems seems to stem from the absence of pre-generated files for... ppl-user-java-interface-0.11.1-html.tar.gz ppl-user-java-interface-0.11.1.pdf ppl-user-java-interface-0.11.1.ps.gz in the doc directory of the source tarball. The fink ppl9