[PPL-devel] Sorry: I had to

Dear all,

the official version of libtool we were using had bugs that prevented us from successfully running `make check' in the interfaces/Prolog directory, on systems where the PPL was not already installed. For this reason I had to switch to the CVS version of libtool. More info on http://www.gnu.org/software/libtool/libtool.html . If you have problems, go there and upgrade your sysyem. Let me know if problems persist. All the best

Roberto